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.
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.
Para organizar as formulações, a seguinte nomenclatura deve ser adotada:
Para o exemplo, utilize: a>b, b>c | a>c .
Como resultado, irá obter informações tais como o tempo (em milissegundos) que levou para a prova ser calculada e a quantidade de nós e ramos gerados, assim como a notificação de que todos os ramos foram fechados ou não.