LGICA MATEMTICA EQUIVALNCIA LGICA

Prof.: Rafael Dias Ribeiro Autora: Prof. Dra. Denise Candal

AULA 1

Equivalncia Lgica
Uma proposio P(p,q,r,....) logicamente equivalente ou simplesmente equivalente a uma proposio Q(p,q,r,.....) se as tabelas-verdade de ambas as proposies so rigorosamente iguais. Utilizaremos para indicar tal fato a notao P(p,q,r,....) Q(p,q,r,.....) .

AULA 1

Observao
Se as duas proposies forem ambas tautolgicas ou ambas contradies , ento so equivalentes.

AULA 1

Equivalncias Lgicas
Comutativa Comutativa Associativa Associativa Idempotente Idempotente Absoro Absoro

pq q p pq q p ( p q) r p (q r ) ( p q ) r p (q r ) p p p p p p p ( p q) p p ( p q) p
AULA 1

Equivalncias Lgicas
p ( p q) p Absoro p ( p q) p Lei de Morgan ~ ( p q) ~ p ~ q ~ ( p q) ~ p ~ q Lei de Morgan p q ~ p q Def Implicao p q ~ ( p ~ q) Def Implicao Def Bicondicional p q ( p q ) ( q p ) Def Bicondicional p q (~ p q ) (~ q p )
Absoro
AULA 1

Leis de Morgan
~ ( p q) ~ p ~ q
p V V F F q V F V F pq ~(pq) ~p ~q ~p~q

AULA 1

Leis de Morgan
~ ( p q) ~ p ~ q
p V V F F q V F V F pq ~(pq) V F V F V F F V ~p ~q F F F V V F V V ~p~q F F F V
AULA 1

Leis de Morgan
~ ( p q) ~ p ~ q
p V V F F q V F V F pq ~(pq) ~p ~q ~p ~q

AULA 1

Leis de Morgan
~ ( p q) ~ p ~ q
p V V F F q V F V F pq ~(pq) V F F V F V F V ~p ~q F F F V V F V V ~p ~q F V V V
AULA 1

Definio de Implicao

p q ~ p q
p V V F F q V F V F pq ~p ~p q

AULA 1

Definio de Implicao

p q ~ p q
p V V F F q V F V F pq V F V V ~p F F V V ~p q V F V V
AULA 1

Definio de Implicao
p q ~ ( p ~ q)
p V V F F q V F V F pq ~q p~q ~(p~q)

AULA 1

Definio de Implicao
p q ~ ( p ~ q)
p V V F F q V F V F pq V F V V ~q F V F V p~q F V F F ~(p~q) V F V V

AULA 1

Definio de Bicondicional
p q ( p q) (q p)
p V V F F q V F V F pq qp (pq)(qp) pq

AULA 1

Definio de Bicondicional
p q ( p q) (q p)
p V V F F q V F V F pq qp (pq)(qp) V V V F V F V F F V V V pq V F F V

AULA 1

Definio de Bicondicional
p q (~ p q) (~ q p)
p q ~p ~q ~pq ~qp (~pq)(~qp) pq

V V F F

V F V F

AULA 1

Definio de Bicondicional
p q (~ p q) (~ q p)
p q ~p ~q ~pq ~qp (~pq)(~qp) pq

V V F F

V F F F V V F V

F V F V

V F V V

V V F V

V F F V

V F F V

AULA 1

Equivalentes?
Se est quente e mido no chover. Se chover, ento o cu no est quente ou no est mido.

AULA 1

Equivalentes?
Se est quente e mido no chover. Se chover, ento o cu no est quente ou no est mido. Quente: p pq~r r~p~q mido: q Chove(r): r

AULA 1

pq~r r~p~q ?
pq VV VV VF FV VV FV VF FF r pq V V F V V F V F F V V F V F F F ~r pq~r F F V V F V F V V V F V F V V V ~p ~q ~p~q r~p ~r F F F F F F F V F V V V V F V V F F F V V F V V F V V V V V V V
AULA 1

10

Problema 1
A loja de Abul foi roubada, mas as jias foram recuperadas. Havia trs suspeitos: seus nomes eram Abdul, Ibn e Hassib. No julgamento, os acusados deram os seguintes depoimentos: Abdul: No fui eu que cometi o roubo. Ibn; No foi Hassib quem roubou a loja. Hassib: Sim, o ladro fui eu! Mais tarde, dois deles confessaram ter mentido. Quem era o ladro ?

AULA 1

Abdul cometeu o crime: p Ibn cometeu o crime: q Hassib cometeu o crime: r Abdul: No fui eu que cometi o roubo. ~p Ibn: No foi Hassib quem roubou a loja. ~r Hassib: Sim, o ladro fui eu! r Dois deles confessaram ter mentido.
~p ~r r
AULA 1

11

Abdul cometeu o crime: p Ibn cometeu o crime: q Hassib cometeu o crime: r Abdul: No fui eu que cometi o roubo. ~p Ibn: No foi Hassib quem roubou a loja. ~r Hassib: Sim, o ladro fui eu! r Dois deles confessaram ter mentido.
~p ~r r F F V V F F F V F
AULA 1

Abdul cometeu o crime: p Ibn cometeu o crime: q Hassib cometeu o crime: r Abdul: No fui eu que cometi o roubo. ~p Ibn: No foi Hassib quem roubou a loja. ~r Hassib: Sim, o ladro fui eu! r Dois deles confessaram ter mentido.
~p ~r r F F V F V F
AULA 1

12

Abdul cometeu o crime: p Ibn cometeu o crime: q Hassib cometeu o crime: r Abdul: No fui eu que cometi o roubo. ~p Ibn: No foi Hassib quem roubou a loja. ~r Hassib: Sim, o ladro fui eu! r Dois deles confessaram ter mentido.
~p ~r r F F V F V F p V

AULA 1

Abdul cometeu o crime: p Ibn cometeu o crime: q Mentira!!! Hassib cometeu o crime: r Abdul: No fui eu que cometi o roubo. ~p Ibn: No foi Hassib quem roubou a loja. ~r Hassib: Sim, o ladro fui eu! r Dois deles confessaram ter mentido.
~p ~r r F F V F V F p V

AULA 1

13

Abdul cometeu o crime: p Ibn cometeu o crime: q Mentira!!! Verdade!!! Hassib cometeu o crime: r Abdul: No fui eu que cometi o roubo. ~p Ibn: No foi Hassib quem roubou a loja. ~r Hassib: Sim, o ladro fui eu! r Dois deles confessaram ter mentido.
~p ~r r F F V F V F p V

AULA 1

Abdul cometeu o crime: p Ibn cometeu o crime: q Mentira!!! Verdade!!! Hassib cometeu o crime: r Abdul: No fui eu que cometi o roubo. ~p Ibn: No foi Hassib quem roubou a loja. ~r Hassib: Sim, o ladro fui eu! r Mentira!!! Dois deles confessaram ter mentido.
~p ~r r F F V F V F p V

AULA 1

14

Trs pessoas prestam depoimento e o que dizem est registrado a seguir: Bernardo: Joo culpado e Saul inocente. Joo: Se Bernardo culpado, Saul tambm culpado. Saul: Eu sou inocente, mas, pelo menos, um dos outros culpado. A partir desses depoimentos identifique os inocentes e os culpados, supondo todos os depoimentos verdadeiros.

AULA 1

Joo culpado: p Saul culpado: q Bernardo culpado: r Bernardo: Joo culpado e Saul inocente. p ~q Joo: Se Bernardo culpado, Saul tambm culpado. r q Saul: Eu sou inocente, mas, pelo menos, um dos outros culpado. ~q p ou ~qr ou ~q (pr) Todos os depoimentos verdadeiros.
AULA 1

15

Joo culpado: p Saul culpado: q Bernardo culpado: r

V V

Bernardo: Joo culpado e Saul inocente. p ~q Joo: Se Bernardo culpado, Saul tambm culpado. r q Saul: Eu sou inocente, mas, pelo menos, um dos outros culpado. ~q p ou ~qr ou ~q (pr) Todos os depoimentos verdadeiros.
AULA 1

Joo culpado: p Saul culpado: q Bernardo culpado: r

V F F V V

Bernardo: Joo culpado e Saul inocente. p ~q Joo: Se Bernardo culpado, Saul tambm culpado. r q ?F V FF V Saul: Eu sou inocente, mas, pelo menos, um dos outros culpado. ~q p ou ~qr ou ~q (pr) Todos os depoimentos verdadeiros.
AULA 1

16