Conectivos Lógicos

Definição:

São utilizados para "unir" proposições simples e, assim, criar proposições compostas.

Conectivos Lê-se Símbolo Conjunto Diagrama

Conjunção e interseção

Disjunção ou união

Disjunção
ou ... ou diferença
exclusiva

Condicional se ... então inclusão

Bicondicional
se, e somente se igualdade

 Conectivos e suas tabelas

verdade
1. E ( )

LEI: Uma proposição composta conjuntiva só será verdadeira se todas as suas proposições simples
forem verdadeiras. Se pelo menos uma de suas proposições simples for falsa, a proposição
composta conjuntiva será falsa.

p q p q

V V V

V F F

F V F

F F F

2. OU ( )

Lei: Uma proposição composta disjuntiva será verdadeira se pelo menos uma das suas proposições
simples forem verdadeiras. Se todas as proposições simples forem falsa, a proposição composta
disjunta será falsa.

p q p q

V V V

V F V

F V V

F F F

3. OU ... OU ( )

Lei: Uma proposição composta disjuntiva exclusiva será verdadeira se apenas uma única das suas
proposições for verdadeira. Se nenhuma ou mais de uma das proposições simples forem
verdadeiras, a proposição composta disjuntiva exclusiva será falsa.

p q p q
 V V F
V F V

F V V

F F F

4. SE ... ENTÃO ( )

Lei: Uma proposição composta condicional só será falsa quando a proposição antecedente (à
esquerda) do conectivo for verdadeira e a proposição consequente (à direita) do conectivo for falsa.

p q p q

V V V

V F F

F V V

F F V

5. SE, E SOMENTE SE ( )

Lei: Uma proposição composta bicondicional será verdadeira quando todas as suas proposições
simples tiverem o mesmo valor lógico (verdadeiro ou falso). Se pelo menos uma das proposições
simples forem diferentes das outras proposições simples, a proposição composta bicondicional será
falsa.

p q p q q p

V V V V

V F F F

F V F F

F F V V