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.
employee-well-being-productivity-insights-duyhandsome
To associate your repository with the tableuax topic, visit your repo's landing page and select "manage topics."