Tabelas Verdade e Hierarquia

Tabela-Verdade da Conjunção (e)

Na conjunção “e” (^), a proposição P ^ Q somente será verdadeira se todas as proposições forem verdadeiras. Podemos dizer que P e Q têm o mesmo significado. Portanto, P ^ Q é equivalente a Q ^ P.

Tabela-Verdade da Disjunção (ou)

Basta que uma proposição seja verdadeira para que a disjunção “ou” seja verdadeira.A disjunção apresenta a propriedade comutativa, ou seja, P e Q são equivalentes.

Tabela-Verdade da Disjunção Exclusiva (ou, ou)

A tabela-verdade da disjunção exclusiva somente será verdadeira se as proposições forem diferentes.A disjunção exclusiva apresenta a propriedade comutativa, ou seja, P e Q são equivalentes.

Tabela-verdade da Condicional (Se, então)

A tabela-verdade da condicional somente será falsa se o antecedente for verdadeiro e o consequente for falso.A condicional é o único operador que não tem propriedade comutativa.

Tabela-verdade da Bicondicional (Se, e somente se)

A bicondicional somente será verdadeira se os valores lógicos de P e Q foram iguais.A bicondicional tem a propriedade comutativa, uma vez que P e Q são equivalentes.

Negação: “não”, “não é verdade que”, “é falso que” (~ ou ⌐)

Hierarquia dos operadores lógicos

A hierarquia dos operadores lógicos traduz o sentido principal da proposição.