14/07/2017

Construtor de Tabelas de Verdade e Inspetores de Circunstâncias


Este é um software que constrói automaticamente tabelas de verdade a partir de uma dada fórmula bem-formada da lógica proposicional. Também permite construir inspetores de circunstâncias com a introdução de várias fórmulas separadas por vírgulas, sendo a última fórmula a ser introduzida a conclusão e as restantes as premissas. Nesse caso se existir pelo menos uma circunstância (linha) em que todas as premissas são verdadeiras e a conclusão é falsa, então a forma argumentativa em avaliação é inválida. Caso contrário, é válida. As tabelas ou inspetores podem ser apresentadas em html, texto, ou LaTex. Para introduzir as várias fórmulas use o teclado e recorra aos seguinte símbolos para as várias conectivas lógicas:

~ & v > < >
negação conjunção disjunção condicional bicondicional



Selecione os símbolos para os valores de verdade:
V/F
1/0


Selecione o tipo de tabela:
Html
Texto
LaTex


Aqui estão alguns exemplos de fórmulas bem-formadas que o software aceita:

  • ~P
  • (P & Q)
  • (P>Q), P, Q
  • (P<>(QvR)), R, (~Q>R)

Este software foi adaptado a partir do código fonte disponibilizado pelo filósofo Michael Rieppel.



Gostou deste artigo? Receba outros por e-mail, assine a nossa newsletter. Digite aqui o seu e-mail:

Este artigo, com comentários, encontra-se no seguinte tema:

Escreva aqui os seus comentários ao artigo "Construtor de Tabelas de Verdade e Inspetores de Circunstâncias":

5 Domingos Faria: Construtor de Tabelas de Verdade e Inspetores de Circunstâncias Este é um software que constrói automaticamente tabelas de verdade a partir de uma dada fórmula bem-formada da lógica proposicio...
< >