Construtor de Árvores de Refutação

Utilize a vírgula para separar fórmulas lógicas, o símbolo de para a conclusão (caso seja uma fórmula argumentativa), e recorra aos seguinte símbolos:

A relação de acessibilidade é

Voltar

[ Instruções ]

Para entender o funcionamento deste método para testar a validade de argumentos clique aqui.

Além da lógica proposicional, este software permite testar a validade de argumentos da lógica de predicados e da lógica modal. Para isso, utilize os seguintes símbolos:

Alguns exemplos de argumentos para utilizar neste software:

Este software é uma adaptação do Tree Proof Generator.