LGICA MATEMTICA

Aula 4 Implicao Lgica

LGICA MATEMTICA
IMPLICAO LGICA AULA 4
LGICA MATEMTICA
Contedo Programtico desta aula
Implicao Lgica
Regras de Inferencia

DAss
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Implicao Lgica
Diz-se que uma proposio P(p,q,r,...) implica
logicamente ou apenas implica uma proposio
Q(p,q,r,...) , se Q(p,q,r,......) verdadeira (V) todas as
vezes que P(p,q,r,.....) verdadeira (V).
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Regra de Inferncia Frmulas
Adio
Simplificao
Modus Ponens
Modus Tollens
Silogismo Disjuntivo
Silogismo Hipottico
Eliminao
Prova por Casos
p p q
p q p
q q p p ) (
p q p q ~ ) ( ~
q p q p ~ ) (
r p r q q p ) ( ) (
r p q r q p ~ )) ( (
r q p r q r p ) ( ) ( ) (
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Regra da Adio
p q p q
V V
V F
F V
F F
q p p
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Regra da Adio
p q p q
V V V
V F V
F V V
F F F
q p p
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Regra da Adio
q p p
Vou ao cinema.
Implica em Vou ao cinema ou vou a praia.
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Regra da Simplificao
p q p q
V V
V F
F V
F F
p q p
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Regra da Simplificao
p q p q
V V V
V F F
F V F
F F F
p q p
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Regra da Simplificao
p q p
Vou ao cinema e vou a praia.
Implica em vou ao cinema.
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Modus Ponens
p q pq p(pq)
V V
V F
F V
F F
q q p p ) (
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Modus Ponens
p q pq p(pq)
V V V V
V F F F
F V V F
F F V F
q q p p ) (
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Modus Ponens
q q p p ) (
Faz sol.
Se fizer sol, ento vou a praia.
Implica que vou a praia.
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Modus Tollens
p q ~q pq ~q(pq) ~p
V V
V F
F V
F F
p q p q ~ ) ( ~
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Modus Tollens
p q ~q pq ~q(pq) ~p
V V F V F F
V F V F F F
F V F V F V
F F V V V V
p q p q ~ ) ( ~
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Modus Tollens
p q p q ~ ) ( ~
Se fizer sol, ento vou a praia.
No fui a praia.
Implica que no fez sol.
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Silogismo Disjuntivo
p q pq ~p (pq)~p
V V
V F
F V
F F
q p q p ~ ) (
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Silogismo Disjuntivo
p q pq ~p (pq)~p
V V V F F
V F V F F
F V V V V
F F F V F
q p q p ~ ) (
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Silogismo Disjuntivo
q p q p ~ ) (
Vou a praia ou vou ao shopping.
No fui a praia.
Implica que vou ao shopping.
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Silogismo Hipottico
p q r pq qr (pq)(qr) pr
V V V
V V F
V F V
F V V
V F F
F V F
F F V
F F F
r p r q q p ) ( ) (
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Silogismo Hipotticotre

p q r pq qr (pq)(qr) pr
V V V V V V V
V V F V F F F
V F V F V F V
F V V V V V V
V F F F V F F
F V F V F F V
F F V V V V V
F F F V V V V
r p r q q p ) ( ) (
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Silogismo Hipottico
r p r q q p ) ( ) (
Se fizer sol, ento vou a praia.
Se for a praia, ento vou ficar bronzeada.
Implica que se fizer sol, ento ficarei bronzeada.
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Eliminao
p q r q r p(q r) (p(q r))~q pr
V V V
V V F
V F V
F V V
V F F
F V F
F F V
F F F
r p q r q p ~ )) ( (
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Eliminao
p q r q r ~q p(q r) (p(q r))~q pr
V V V V F V F V
V V F V F V F F
V F V V V V V V
F V V V F V F V
V F F F V F F F
F V F V F V F V
F F V V V V V V
F F F F V V V V
r p q r q p ~ )) ( (
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Eliminao
r p q r q p ~ )) ( (
Se fizer sol, ento vou a praia ou vou a piscina.
No vou a praia.
Implica que se fizer sol, ento irei a piscina.
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Prova por Casos
p q r pr q r (pr)(q r) pq (pq)r
V V V
V V F
V F V
F V V
V F F
F V F
F F V
F F F
r q p r q r p ) ( ) ( ) (
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Prova por Casos
p q r pr q r (pr)(q r) pq (pq)r
V V V
V V V V V
V V F F F F V F
V F V V V V V V
F V V V V V V V
V F F F V F V F
F V F V F F V F
F F V V V V F V
F F F V V V F V
r q p r q r p ) ( ) ( ) (
LGICA MATEMTICA
IMPLICAO LGICA AULA 4
Prova por Casos
r q p r q r p ) ( ) ( ) (
Se fizer sol, ento vou a piscina.
Se fizer calor, ento vou a piscina.
Implica que se fizer sol ou calor, ento vou a piscina.
res