A presente ferramenta permite a verificação de proposições por meio da implementação do método Tableaux, também conhecido por 'Árvore Verdade' e bastante utilizado na teoria da prova.
-
Updated
Feb 4, 2020 - Java
A presente ferramenta permite a verificação de proposições por meio da implementação do método Tableaux, também conhecido por 'Árvore Verdade' e bastante utilizado na teoria da prova.
Add a description, image, and links to the teoria-da-prova topic page so that developers can more easily learn about it.
To associate your repository with the teoria-da-prova topic, visit your repo's landing page and select "manage topics."