Resumo
Esse Projeto tem por objetivo apresentar a lógica proposicional do plausível, originalmente introduzida em versão hilbertiana, em uma versão de tableaux. Com isso, pretende-se obter também o aprimoramento da formação lógica do aluno no âmbito dos tableaux e de lógicas não-clássicas, particularmente uma de caráter modal. (AU)