Construtor de Árvores de Refutação

Para introduzir fórmulas use o teclado, utilizando a vírgula (,) para separar proposições, o símbolo de dois pontos (:) para a conclusão, e recorra aos seguinte símbolos para as conectivas lógicas:

~ ^ v > < > :
neg. conjunção disjunção condicional bicondicional conclusão

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.

 


🏠Início - 🎓Sobre - 📚Publicações - 💬Palestras - 📃Blog - 📬Newsletter - 🔧Ferramentas - ✉️E-mail - 🔒Login - 🔍