![Page 1: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/1.jpg)
IMPLICAÇÃO LÓGICA
Prof.: Rafael Dias Ribeiro,M.Sc.
![Page 2: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/2.jpg)
AULA 4
Implicação Lógica
� O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma estratégia lenta e que ocuparia muito espaço para o armazenamento dos valores lógicos.
� Existem certas relações que permitem deduzir fatos a partir de outros desde que estes satisfaçam formatos específicos. Estas relações são conhecidas como regras de inferência
![Page 3: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/3.jpg)
AULA 4
Implicação Lógica
� Diz-se que uma proposição P(p,q,r,...) implica logicamente ou apenas implica uma proposição Q(p,q,r,...) , se Q(p,q,r,......) é verdadeira (V) todas as vezes que P(p,q,r,.....) é verdadeira (V).
![Page 4: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/4.jpg)
AULA 4
Implicações Lógicas
Regra de Inferência FórmulasAdiçãoSimplificaçãoModus PonensModus TollensSilogismo DisjuntivoSilogismo HipotéticoEliminaçãoProva por Casos
p p q⇒ ∨pqp ⇒∧
qqpp ⇒→∧ )(pqpq ~)(~ ⇒→∧
qpqp ⇒∧∨ ~)(rprqqp →⇒→∧→ )()(rpqrqp →⇒∧∨→ ~))((rqprqrp →∨⇒→∧→ )()()(
![Page 5: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/5.jpg)
AULA 4
Regra da Adição
qpp ∨⇒
p q p∨qV VV FF VF F
![Page 6: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/6.jpg)
AULA 4
Regra da Adição
qpp ∨⇒
p é verdadeiro; consequentemente a disjunção (p or q) é verdadeira
![Page 7: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/7.jpg)
AULA 4
Regra da Simplificação
pqp ⇒∧
p e q são verdadeiros; consequentemente p é verdadeiro.
![Page 8: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/8.jpg)
AULA 4
Regra da Simplificação
p q p∧qV V VV F FF V FF F F
pqp ⇒∧
![Page 9: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/9.jpg)
AULA 4
Modus Ponens
qqpp ⇒→∧ )(
Se chover, então fico em casa.Chove.Então fico em casa.
Se p então q;p; consequentemente q
![Page 10: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/10.jpg)
AULA 4
Modus Tollens
pqpq ~)(~ ⇒→∧
Se existe fogo aqui, então aqui também há oxigênio.Não há oxigênio aqui.Então aqui não há fogo
Se p então q; não q; consequentemente não p
![Page 11: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/11.jpg)
AULA 4
Silogismo Disjuntivo
qpqp ⇒∧∨ ~)(
Ele tem mais que 16 anos ou ele é criança.Ele não tem mais que 16 anos.Logo, ele é criança
p ou q; não p; consequentemente, q
![Page 12: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/12.jpg)
AULA 4
Silogismo e Falácias
Se Deus existe, a vida faz sentido.Ora, a vida faz sentido.
Logo, Deus existe.
Este argumento é uma conhecida falácia: trata-se da faláciada afirmação do consequente ou do "Modus ponens".
Nem todos os silogismos possíveis de serem formados sãoválidos e, que, portanto, é possível cometer-se falácias aoutilizar uma forma errônea.
Com efeito, da afirmação do consequente (a vida faz sentido)não se infere o antecedente (Deus existe).
![Page 13: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/13.jpg)
AULA 4
Silogismo e Falácias
Devemos considerar uma outra falácia em relação ao silogismohipotético condicional. É a falácia da negação do antececente oudo "Modus tollens" e comete-se quando se nega o antecedente no lugarde se negar o consequente.
Assim, retomando o exemplo referido, se argumentássemos da seguinteforma :
Se Deus existe, a vida faz sentido.Ora, Deus não existe.
Logo, a vida não faz sentido.
Estaríamos cometendo um erro de raciocínio, ou seja, uma falácia.
![Page 14: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/14.jpg)
AULA 4
Silogismo e Falácias
O silogismo hipotético condicional comporta dois modos válidos:
Modus Ponens ou ponendo ponens (pôr)
Se Deus existe, a vida faz sentido.Ora, Deus existe.
Logo, a vida faz sentido.
Modus Tollens ou tolendo tollens (tirar)
Se Deus existe, a vida faz sentido.Ora, a vida não faz sentido.
Logo, Deus não existe.
![Page 15: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/15.jpg)
AULA 4
Silogismo Hipotético e Falácias
Assim, temos por exemplo que:Todo P é QTodo Q é R
Portanto:
Todo P é R
rprqqp →⇒→∧→ )()(
![Page 16: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/16.jpg)
AULA 4
Silogismo Hipotético e Falácias
Assim, temos por exemplo que:Todo P é QTodo Q é R
Portanto:
Todo P é R
rprqqp →⇒→∧→ )()(
![Page 17: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/17.jpg)
AULA 4
Silogismo Hipotético e Falácias
Foram compiladas listas de silogismos válidos, mas nem tudo que tem a forma de um é. Por exemplo, se no exemplo, onde temos que:
Todo homem é mortal. A -> B
Se, ao invés de observarmos A, ou seja, que alguém é um homem, observa-se B, que algo é mortal, não seria possível concluir que A.
![Page 18: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/18.jpg)
AULA 4
Silogismo Hipotético e Falácias
Foram compiladas listas de silogismos válidos, mas nem tudo que tem a forma de um é. Por exemplo, se no exemplo, onde temos que:
Todo homem é mortal. A -> B
Se, ao invés de observarmos A, ou seja, que alguém é um homem, observa-se B, que algo é mortal, não seria possível concluir que A.
![Page 19: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/19.jpg)
AULA 4
Silogismo Hipotético e Falácias
![Page 20: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/20.jpg)
AULA 4
Silogismo Hipotético e Falácias
Vimos que nem todos os silogismos possíveis de seremformados são válidos e, que, portanto, é possível cometer-sefalácias ao utilizar uma forma errônea.
Existem listas de falácias conhecidas na Internet:
http://www2.uol.com.br/aprendiz/n_colunas/f_litto/index.htm
http://en.wikipedia.org/wiki/Logical fallacy
![Page 21: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/21.jpg)
AULA 4
Silogismo Hipotético
rprqqp →⇒→∧→ )()(
Se eu não despertar, então não posso ir ao trabalho.
Se eu não puder ir ao trabalho, então eu não vou receber o salário.
Portanto, se eu não despertar, então eu não vou receber o salário
Se p então q; se q então r; consequentemente, se p então r
![Page 22: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/22.jpg)
AULA 4
"Se vou ao bar ou vou ao mercado, então vou ao bar e vou ao mercado " é somente correto afirmar que a proposicão composta em questão
A) é uma contingenciaB) é uma contradicãoC) é um silogismo disjuntivo. D) é uma tautologia E) não é uma proposicão composta
![Page 23: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/23.jpg)
AULA 4
TAUTOLOGIATautologia é uma proposição cujo valor lógico é sempre verdadeiro.
CONTRADIÇÃO Contradição é uma proposição cujo valor lógico é sempre falso.
CONTINGENCIA Quando uma proposição não é tautológica nem contradição
SILOGISMO DISJUNTIVO.
qpqp ⇒∧∨ ~)(
![Page 24: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/24.jpg)
AULA 4
Se vou ao bar ou vou ao mercado, então vou ao bar e vou ao mercado
p: vou ao barq: vou ao mercado
(p v q) -> p ^ q
p q p v q pˆq (p v q) -> p ^ q
v v v v vv f v f ff v v f ff f f f v
![Page 25: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/25.jpg)
AULA 4
A partir da condicional p → q podem ser obtidas as condicionais que são equivalentes à p → q (1) q → p, denominada proposição recíproca de p → q;(2) ~p → ~q, denominada proposição contrária de p → q; e(3) ~q → ~p, denominada proposição contrapositiva de p → q ou recíproca da proposição ~p → ~q.
p q ~p ~q p → q ~q → ~p q → p ~p → ~qV V F F V V V VV F F V F F V VF V V F V V F FF F V V V V V V
![Page 26: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/26.jpg)
AULA 4
EXERCÍCIO
Mostre que as Hipóteses “Não está ensolarado esta tarde e está mais frio que ontem”, “Vamos nadar se estiver ensolarado”, “Se não formos nadar, então vamos fazer um passeio de barco” e “Se fizermos um passeio de barco, então estaremos em casa ao anoitecer” Nos levam a conclusão “Estaremos em casa ao anoitecer”.
![Page 27: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/27.jpg)
AULA 4
EXERCÍCIO
p: está ensolarado esta tardeq: está mais frio que ontemr: vamos nadar s: vamos fazer um passeio de barcot: estaremos em casa ao anoitecer
~p ^ q , r→p, ~r→s, s→t
![Page 28: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/28.jpg)
AULA 4
EXERCÍCIO
~p ^ q Hipótese∴~p (Simplificação)
~pr→p∴~r (Modus Tollens)
p: está ensolarado esta tardeq: está mais frio que ontemr: vamos nadar s: vamos fazer um passeio de barcot: estaremos em casa ao anoitecer
![Page 29: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/29.jpg)
AULA 4
EXERCÍCIO
~p ^ q Hipótese∴~p (Simplificação)
~pr→p∴~r (Modus Tollens)
~r~r→s∴s (Modus ponens)
ss→t∴t (Modus ponens)
p: está ensolarado esta tardeq: está mais frio que ontemr: vamos nadar s: vamos fazer um passeio de barcot: estaremos em casa ao anoitecer
![Page 30: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/30.jpg)
AULA 4
EXERCÍCIO
Mostre que as hipóteses “Se você me mandar um e-mail então terminarei o programa”. ”Se você não me mandar um e-mail então vou dormir cedo”. Se eu dormir cedo acordarei me sentindo bem” Nos levam a conclusão “Se eu não terminar o programa então acordarei me sentindo bem”
![Page 31: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/31.jpg)
AULA 4
EXERCÍCIO
p: você me mandar um e-mail q:terminarei o programar: vou dormir cedos: acordarei me sentindo bem
p → q , ~p→r, r→s
![Page 32: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/32.jpg)
AULA 4
EXERCÍCIO
p: você me mandar um e-mail q:terminarei o programar: vou dormir cedos: acordarei me sentindo bem
p → q~q → ~p (contrapositiva)
~q → ~p~p→r∴~q→r (Silogismo Hipotético)
~q →rr→s∴~q→s (Silogismo Hipotético)
![Page 33: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/33.jpg)
AULA 4
Redução ao absurdoDe (p→q), (p→ ¬q), infere-se ¬p.
Eliminação da dupla negaçãoDe ¬¬p, infere-se p.
Introdução da conjunçãoDe p e q, infere-se (p∧ q).
Eliminação da conjunçãoDe (p∧ q), infere-se pDe (p∧ q), infere-se q.
![Page 34: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/34.jpg)
AULA 4
Introdução da disjunçãoDe p, infere-se (p∨ q)De p, infere-se (q∨ p).
Eliminação da disjunçãoDe (p∨ q), (p→ r), (q→ r), infere-se r.
Introdução do BicondicionalDe (p→ q), (q→ p), infere-se (p↔ q).
Eliminação do BicondicionalDe (p↔ q), infere-se (p→ q);De (p↔ q), infere-se (q→ p).
![Page 35: IMPLICAÇÃO LÓGICA - · PDF fileImplicação Lógica O processo de inferência automática poderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma](https://reader033.vdocuments.net/reader033/viewer/2022051523/5a7587247f8b9a4b538c8ddf/html5/thumbnails/35.jpg)
AULA 4
Modus ponens (eliminação do condicional)De p, (p→ q), infere-se q.
Demonstração Condicional (introdução do condicional)Se p for aceito como prova de q, infere-se (p→ q).