IMPLICAO LGICA

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

Implicao Lgica
O processo de inferncia automtica poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma estratgia lenta e que ocuparia muito espao para o armazenamento dos valores lgicos. Existem certas relaes que permitem deduzir fatos a partir de outros desde que estes satisfaam formatos especficos. Estas relaes so conhecidas como regras de inferncia

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).

AULA 4

Implicaes Lgicas
Regra de Inferncia Adio Simplificao Modus Ponens Modus Tollens Silogismo Disjuntivo Silogismo Hipottico Eliminao Prova por Casos Frmulas

p pq

pq p
p ( p q) q ~ q ( p q) ~ p ( p q) ~ p q
( p q) (q r ) p r ( p (q r )) ~ q p r
( p r ) (q r ) ( p q ) r
AULA 4

Regra da Adio

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

AULA 4

Regra da Adio

p pq
p verdadeiro; consequentemente a disjuno (p or q) verdadeira

AULA 4

Regra da Simplificao

pq p
p e q so verdadeiros; consequentemente p verdadeiro.

AULA 4

Regra da Simplificao

pq p
p V V F F q V F V F p q V F F F
AULA 4

Modus Ponens
Se chover, ento fico em casa. Chove. Ento fico em casa.

p ( p q) q

Se p ento q; p; consequentemente q

AULA 4

Modus Tollens
Se existe fogo aqui, ento aqui tambm h oxignio. No h oxignio aqui. Ento aqui no h fogo

~ q ( p q) ~ p

Se p ento q; no q; consequentemente no p

AULA 4

Silogismo Disjuntivo
Ele tem mais que 16 anos ou ele criana. Ele no tem mais que 16 anos. Logo, ele criana

( p q) ~ p q

p ou q; no p; consequentemente, q

AULA 4

Silogismo Hipottico
( p q) (q r ) p r
Se eu no despertar, ento no posso ir ao trabalho. Se eu no puder ir ao trabalho, ento eu no vou receber o salrio. Portanto, se eu no despertar, ento eu no vou receber o salrio Se p ento q; se q ento r; consequentemente, se p ento r
AULA 4

A partir da condicional p q podem ser obtidas as condicionais que so equivalentes p q (1) q p, denominada proposio recproca de p q; (2) ~p ~q, denominada proposio contrria de p q; e (3) ~q ~p, denominada proposio contrapositiva de p q ou recproca da proposio ~p ~q.
p V V F F q V F V F ~p F F V V ~q F V F V p q ~q ~p q p ~p ~q V V V V F F V V V V F F V V V V

AULA 4

EXERCCIO
Mostre que as Hipteses No est ensolarado esta tarde e est mais frio que ontem, Vamos nadar se estiver ensolarado, Se no formos nadar, ento vamos fazer um passeio de barco e Se fizermos um passeio de barco, ento estaremos em casa ao anoitecer Nos levam a concluso Estaremos em casa ao anoitecer.

AULA 4

EXERCCIO
p: est ensolarado esta tarde q: est mais frio que ontem r: vamos nadar s: vamos fazer um passeio de barco t: estaremos em casa ao anoitecer ~p ^ q , rp, ~rs, st

AULA 4

EXERCCIO
p: est ensolarado esta tarde q: est mais frio que ontem r: vamos nadar s: vamos fazer um passeio de barco t: estaremos em casa ao anoitecer
~p ^ q Hiptese ~p (Simplificao) ~p rp ~r (Modus Tollens)

AULA 4

EXERCCIO
p: est ensolarado esta tarde q: est mais frio que ontem r: vamos nadar s: vamos fazer um passeio de barco t: estaremos em casa ao anoitecer
~p ^ q Hiptese ~p (Simplificao) ~p rp ~r (Modus Tollens)

~r ~rs s (Modus ponens) s st

t (Modus ponens) AULA 4

EXERCCIO
Mostre que as hipteses Se voc me mandar um e-mail ento terminarei o programa. Se voc no me mandar um e-mail ento vou dormir cedo. Se eu dormir cedo acordarei me sentindo bem Nos levam a concluso Se eu no terminar o programa ento acordarei me sentindo bem

AULA 4

EXERCCIO
p: voc me mandar um e-mail q:terminarei o programa r: vou dormir cedo s: acordarei me sentindo bem

p q , ~pr, rs

AULA 4

EXERCCIO
p: voc me mandar um e-mail q:terminarei o programa r: vou dormir cedo s: acordarei me sentindo bem

pq ~q ~p (contrapositiva) ~q ~p ~pr ~q r (Silogismo Hipottico) ~q r rs ~q s (Silogismo Hipottico)

AULA 4

10

Reduo ao absurdo De (pq), (p q), infere-se p. Eliminao da dupla negao De p, infere-se p. Introduo da conjuno De p e q, infere-se (p q). Eliminao da conjuno De (p q), infere-se p De (p q), infere-se q.

AULA 4

Introduo da disjuno De p, infere-se (p q) De p, infere-se (q p). Eliminao da disjuno De (p q), (p r), (q r), infere-se r. Introduo do Bicondicional De (p q), (q p), infere-se (p q). Eliminao do Bicondicional De (p q), infere-se (p q); De (p q), infere-se (q p).
AULA 4

11

Modus ponens (eliminao do condicional) De p, (p q), infere-se q. Demonstrao Condicional (introduo do condicional) Se p for aceito como prova de q, infere-se (p q).

AULA 4

12