Tabelas Verdade e Hierarquia

Seite 1

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.

Seite 2

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.

Seite 3

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.

Seite 4

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.

Seite 5

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.

Seite 6

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

Seite 7

Hierarquia dos operadores lógicos

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