Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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)
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
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