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 logica-proposicional topic page so that developers can more easily learn about it.
To associate your repository with the logica-proposicional topic, visit your repo's landing page and select "manage topics."