ndice

Raciocnio Lgico
Conectivos Lgicos
Conectivos
(linguagem idiomtica)

Conectivos
(Smbolo)

Conjuno: P Q

Joo ator e alagoano.

ou (um, outro ou ambos)

Disjuno: P Q

Irei ao cinema ou praia.

ou ... ou, mas no ambos

Disjuno exclusiva: P Q

Ou Tiago mdico ou dentista, mas no

ambos.

se ... ento

Condicional: P Q

Se chove, ento faz frio.

se e somente se

Bicondicional: P Q

Vivo se e somente se sou feliz

Estrutura lgica

Exemplo

Conjuno: P e Q
P
Q
PQ
V
V
F
F

V
F
V
F

V
F
F
F

Disjuno: P Q
P
Q
PQ
V
V
F
F

V
F
V
F

V
V
V
F

Disjuno exclusiva: P Q
P
Q
PQ
V
V
F
F

V
F
V
F

F
V
V
F

Condicional: P Q
P Q P Q ~P Q
V
V
F
F

V
F
V
F

V
F
V
V

V
F
V
V

P Q ~P Q (conforme tabela).
Neste caso, P chamada hiptese e Q concluso. Ou antecedente e consequente.
Pode-se ler como:
1) Se P, ento Q.
2) Q se P.
3) P somente se Q. P d origem a Q. No entanto, P no condio sqn para Q. Se Q pode ser true sem P, P jamais ser

sem que Q o seja tambm. Ex: Se chover (hiptese), ento jogo cartas (concluso). Chover implica jogar cartas, mas
posso jogar sem que chova. Por outro lado, no chove sem que eu jogue.
4) P suficiente para Q.
5) Q necessrio para P (considero esta infeliz).
Bicondicional: P Q
P Q P Q ~(P Q)
V
V
F
F

V
F
V
F

V
F
F
V

V
F
F
V

P Q ~(P Q) (conforme tabela).

Vivo se e somente se sou feliz ~(Ou Vivo ou sou feliz) = ~((Vivo sou feliz) ^ ~(Vivo ^ sou feliz)) =
~(Vivo sou feliz) v (Vivo ^ sou feliz) =