LÓGICA

MATEMÁTICA
Por Priscila Motta Guimarães
 AULA 08
O CONECTIVO LÓGICO BICONDICIONAL
O CONECTIVO LÓGICO BICONDICIONAL
bicondicional
adjetivo de dois gêneros
1.Que depende de ou envolve duas condições.
Dicionário do Google

Representação simbólica:

p q (p se e somente se q)
O CONECTIVO LÓGICO BICONDICIONAL
bicondicional
adjetivo de dois gêneros
1.Que depende de ou envolve duas condições.

p q p q Dicionário do Google

V V V

V F F
F V F
F F V
MAS POR QUE DEPENDE DOS DOIS?
p se e somente se q

Vou ao cinema se e somente se Hallyson for comigo

p q

= Estrutura
Vou ao cinema somente se Hallyson for comigo
se p
Hallyson vai comigo somente se eu for ao cinema então q

(p q) ^ ( q p) = p q
 COMO TER CERTEZA DE UMA
EQUIVALÊNCIA?
A melhor forma de se comparar se duas FBF’s são equivalentes é
montando a tabela verdade e comparando os resultados.
Resultados iguais EM TODAS AS LINHAS indicam equivalência.

p q p q q p (p q) ^ ( q p) p q

V V V V V V

V F F V F F
F V V F F F

F F V V V V

(p q) ^ ( q p) = p q
A ORDEM DOS CONETIVOS LÓGICOS

Fazer Fazer por

Primeiro Último

? ^ v v ?
A ORDEM DOS CONETIVOS LÓGICOS

Fazer Fazer por

Primeiro Último

? ^ v v
(p q) ^ (q r) ^ (r s)
p q r s (p q) (q r) (r s) (p q) ^ (q r) ^ (r s)
V V V V V
V V V F V
V V F V V
V V F F V (p q)
V F V V F
^(q r)
V F V F F
V F F V F
^ (r s)
V F F F F
F V V V F
F V V F F
F V F V F
F V F F F
F F V V V
F F V F V
F F F V V
F F F F V
p q r s (p q) (q r) (r s) (p q) ^ (q r) ^ (r s)
V V V V V V
V V V F V V
V V F V V F
V V F F V F (p q)
V F V V F F
^(q r)
V F V F F F
V F F V F V
^ (r s)
V F F F F V
F V V V F V
F V V F F V
F V F V F F
F V F F F F
F F V V V F
F F V F V F
F F F V V V
F F F F V V
p q r s (p q) (q r) (r s) (p q) ^ (q r) ^ (r s)
V V V V V V V
V V V F V V F
V V F V V F F
V V F F V F V (p q)
V F V V F F V
^(q r)
V F V F F F F
V F F V F V F
^ (r s)
V F F F F V V
F V V V F V V
F V V F F V F
F V F V F F F
F V F F F F V
F F V V V F V
F F V F V F F
F F F V V V F
F F F F V V V
p q r s (p q) (q r) (r s) (p q) ^ (q r) ^ (r s)
V V V V V V V V
V V V F V V F F
V V F V V F F F
V V F F V F V F (p q)
V F V V F F V F
^(q r)
V F V F F F F F
V F F V F V F F
^ (r s)
V F F F F V V F
F V V V F V V F
F V V F F V F F
F V F V F F F F
F V F F F F V F
F F V V V F V F
F F V F V F F F
F F F V V V F F
F F F F V V V V
 é diferente de

*Chamado de ou condicional, *Chamado de bicondicional

pois p é condição para q. pois p é condição para q e q
é condição para p.
*Sua estrutura mais comum *Sua estrutura mais comum
é SE p ENTÃO q é p SE E SOMENTE SE q

*A ordem importa *A ordem não importa

(p q) é diferente de (q p) (p q) = (q p)
EXERCÍCIOS
1)Dê a forma composta [ (p q) ^ (q p)] de cada uma das
proposições abaixo:
Exemplo:
a) Trabalharei no exterior se e somente se tiver dinheiro
RESPOSTA: • Trabalharei no exterior se tiver dinheiro E
• Terei dinheiro se trabalhar no exterior

b) Viajarei se e somente se marcar uma viagem.

c) Farei academia se e somente se ganhar uma semana de teste
d) Colocarei meu casaco se e somente se ligarem o ar condicionado
2)Monte e resolva a tabela verdade para as FBF’s abaixo:
a)(p q) ^ r c)(p q) r e) (p q) v (p q)
b)(p q) r d)(p q) v (p q) f) (p v q) (q p)