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 |
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: