Táboas de verdade

Estas táboas poden ser construídos por unha interpretación dos sinais lóxicos, o, u, u, ® ", tales como: non, ou, e se ... entón, se e só se, respectivamente. A interpretación é no sentido de que estas operacións dentro do razoamento.
Pode establecer unha correspondencia entre os resultados destas táboas e dedución lóxica matemática. En consecuencia, as táboas de verdade son un método de decisión para comprobar se unha proposición é ou non é un teorema.
Para a construción da táboa está definido para 1 (un) ha ser atribuído a unha determinada proposición e como 0 (cero) a unha proposición falsa.

Negación: O valor de verdade da negación é o contrario da proposición rexeitada.

Disyunción: A disjunção é falsa só se os seus dous compoñentes son.

Conxunción: Só os compoñentes do conxunto son certas, a conxunción é verdadeira.

Condicional: O condicional é falsa só cando o antecedente é verdadeiro eo consecuente é falso. Da verdade non pode seguir a falsidade.

Bicondicional: A bicondicional só é certo se os seus compoñentes teñen o mesmo valor de verdade.

Chámase a unha tautoloxía a unha proposta que é certa para calquera valor de verdade dos seus compoñentes. Polo tanto, a última columna da táboa verdade farase só por algúns.
Contradición é a negación dunha tautologia, entón é unha falsa proposición que sexa o valor de verdade dos seus compoñentes. A última columna da táboa de verdade dunha contradición será composto de só ceros.