![Page 1: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/1.jpg)
Regras de
Inferência
![Page 2: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/2.jpg)
Correção dos
exercícios
![Page 3: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/3.jpg)
Exercício 1.a
p q, ~p |— ~q - Sofisma
p q ~p ~q pq
V V F F V
V F F V F
F V V F V
F F V V V
Premissas
![Page 4: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/4.jpg)
Exercício 1.b
p ↔ q , q |— p Valido
p q p ↔ q
V V F
V F V
F V V
F F F
Premissas
![Page 5: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/5.jpg)
Exercício 1.c
p v q, ~q, p r |— r Valido
p q r p v q pr ~q
V V V V V F
V V F V F F
V F V V V V
V F F V F V
F V V V V F
F V F V V F
F F V F V V
F F F F V V
![Page 6: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/6.jpg)
Exercício 1.d
~p q, p |— ~q Sofisma
p q ~p ~q ~p
q
V V F F V
V F F V V
F V V F V
F F V V F
![Page 7: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/7.jpg)
Exercício 1.c
p q |— p q v r Valido
p q r pq q v r p q v r
V V V V V V
V V F V V V
V F V F V V
V F F F F F
F V V V V V
F V F V V V
F F V V V V
F F F V F V
![Page 8: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/8.jpg)
Exercício 2
1. Construir a condicional associada
a) pq, ~p |— ~q (pq) ^ (~p) ~q
b) p q, q |— p
c) p v q, ~q, pr |— r
d) ~pq, p |— ~q
e) pq |— pq v r
![Page 9: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/9.jpg)
Exercício 2
1. Construir a condicional associada
a) pq, ~p |— ~q (pq) ^ (~p) ~q
b) p q, q |— p (p q) ^ (q) p
c) p v q, ~q, pr |— r
d) ~pq, p |— ~q
e) pq |— pq v r
![Page 10: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/10.jpg)
Exercício 2
1. Construir a condicional associada
a) pq, ~p |— ~q (pq) ^ (~p) ~q
b) p q, q |— p (p q) ^ (q) p
c) p v q, ~q, pr |— r (p v q)^(~q)^(pr) r
d) ~pq, p |— ~q
e) pq |— pq v r
![Page 11: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/11.jpg)
Exercício 2
1. Construir a condicional associada
a) pq, ~p |— ~q (pq) ^ (~p) ~q
b) p q, q |— p (p q) ^ (q) p
c) p v q, ~q, pr |— r (p v q)^(~q)^(pr) r
d) ~pq, p |— ~q (~pq)^(p) ~q
e) pq |— pq v r
![Page 12: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/12.jpg)
Exercício 2
Construir a condicional associada
a) pq, ~p |— ~q (pq) ^ (~p) ~q
b) p q, q |— p (p q) ^ (q) p
c) p v q, ~q, pr |— r (p v q)^(~q)^(pr) r
d) ~pq, p |— ~q (~pq)^(p) ~q
e) pq |— pq v r pq pq v r
![Page 13: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/13.jpg)
Exercício 3
Construir o argumento (premissas e conclusão)
correspondente a cada uma das seguintes
condicionais.
a) p ^(q v ~q) q p ,(q v ~q) |— q
b) (pq)^(p ^~q) s
c) ~(x<0 ^y=x) x >0 v y = x
![Page 14: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/14.jpg)
Exercício 3
Construir o argumento (premissas e conclusão)
correspondente a cada uma das seguintes
condicionais.
a) p ^(q v ~q) q p ,(q v ~q) |— q
b) (pq)^(p ^~q) s (pq),(p ^~q) |— s
c) ~(x<0 ^y=x) x >0 v y = x
![Page 15: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/15.jpg)
Exercício 3
Construir o argumento (premissas e conclusão)
correspondente a cada uma das seguintes
condicionais.
a) p ^(q v ~q) q p ,(q v ~q) |— q
b) (pq)^(p ^~q) s (pq),(p ^~q) |— s
c) ~(x<0 ^y=x) x >0 v y = x
~(x<0 ^y=x) |— x >0 v y = x
![Page 16: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/16.jpg)
Regras de Inferências
Como na equivalência, existem também
alguns argumentos básicos.
![Page 17: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/17.jpg)
Regras de Inferências
Como na equivalência, existem também
alguns argumentos básicos.
Estes argumentos básicos são usados
para executar os passos de uma dedução
ou demonstração.
![Page 18: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/18.jpg)
Regras de Inferências
Como na equivalência, existem também
alguns argumentos básicos.
Estes argumentos básicos são usados
para executar os passos de uma dedução
ou demonstração.
Estes argumentos são chamados de
regras de inferência.
![Page 19: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/19.jpg)
Regras de Inferências
Como na equivalência, existem também
alguns argumentos básicos.
Estes argumentos básicos são usados
para executar os passos de uma dedução
ou demonstração.
Estes argumentos são chamados de
regras de inferência.
Tabela 1 da página 66 livro Rosen.
![Page 20: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/20.jpg)
Regra de Inferência
Modus Ponens
pq, p |— q
p q pq
V V V
V F F
F V V
F F V
Sempre que pq e p são
verdades podemos concluir
que q é verdade.
Aplicação da implicação
lógica.
![Page 21: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/21.jpg)
Regra de Inferência
Modus Tollens
pq, ~q |— ~p
p q ~p ~q pq
V V F F V
V F F V F
F V V F V
F F V V V
Sempre que pq e ~q são
verdades podemos concluir
que ~p é verdade.
![Page 22: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/22.jpg)
Regra de Inferência
Silogismo Hipotético
p q, q r |— pr
p q r pq qr pr
V V V V V V
V V F V F V
V F V F V F
V F F F V F
F V V V V V
F V F V F V
F F V V V V
F F F V V V
![Page 23: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/23.jpg)
Regra de Inferência
Silogismo Disjuntivo
p v q, ~p |— q
p q ~p ~q pvq
V V F F V
V F F V V
F V V F V
F F V V F
![Page 24: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/24.jpg)
Regra de Inferência
Adição
p |— p v q
p q ~p ~q pvq
V V F F V
V F F V V
F V V F V
F F V V F
![Page 25: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/25.jpg)
Regra de Inferência
Simplificação
p ^ q |— p
p q ~p ~q p ^ q
V V F F V
V F F V V
F V V F V
F F V V F
![Page 26: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/26.jpg)
Regra de Inferência
Conjunção
p , q |— p ^ q
p q ~p ~q p ^ q
V V F F V
V F F V V
F V V F V
F F V V F
![Page 27: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/27.jpg)
Regra de Inferência
Resolução
p v q, ~p v r |— q v r
p q ~p r p v q ~p v r q v r
V V F V V V V
V V F F V F V
V F F V V V V
V F F F V F F
F V V V V V V
F V V F V V V
F F V V F V V
F F V F F V F
![Page 28: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/28.jpg)
Regra de Inferência
Absorção
p q|— p(p^q)
p q pq p ^ q p p ^ q
V V V V V
V F F F F
F V V F V
F F V F V
![Page 29: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/29.jpg)
Exercícios
Usar a regra “Modus Ponens” para
deduzir a conclusão de cada um dos
seguintes pares de premissas:
Modus Ponens
pq, p |— q
![Page 30: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/30.jpg)
Exercícios
1. x=y ^ y=z
2. (x=y ^ y=z) x=z
Modus Ponens
pq, p |— q
![Page 31: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/31.jpg)
Exercícios
1. x=y ^ y=z
2. (x=y ^ y=z) x=z
Modus Ponens
pq, p |— q
Conclusão: x = z
![Page 32: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/32.jpg)
Exercícios
1. x,y R xy R
2. x,y R
Modus Ponens
pq, p |— q
![Page 33: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/33.jpg)
Exercícios
Modus Ponens
pq, p |— q
Conclusão: xy R
1. x,y R xy R
2. x,y R
![Page 34: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/34.jpg)
Exercícios
1. (x>y ^ y>z) x > z
2. x>y ^ y>z
Modus Ponens
pq, p |— q
![Page 35: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/35.jpg)
Exercícios
Modus Ponens
pq, p |— q
Conclusão: x > z
1. (x>y ^ y>z) x > z
2. x>y ^ y>z
![Page 36: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/36.jpg)
Exercícios
1. 2 > 1 3 > 1
2. 2 > 1
Modus Ponens
pq, p |— q
![Page 37: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/37.jpg)
Exercícios
Modus Ponens
pq, p |— q
Conclusão: 3 > 1
1. 2 > 1 3 > 1
2. 2 > 1
![Page 38: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/38.jpg)
Exercícios
1. x+1 = 2
2. x+1 = 2 y+1=2
Modus Ponens
pq, p |— q
![Page 39: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/39.jpg)
Exercícios
Modus Ponens
pq, p |— q
Conclusão: y+1=2
1. x+1 = 2
2. x+1 = 2 y+1=2
![Page 40: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/40.jpg)
Exercícios
1. x+0 = y
2. x+0 = y x=y
Modus Ponens
pq, p |— q
![Page 41: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/41.jpg)
Exercícios
Modus Ponens
pq, p |— q
Conclusão: x=y
1. x+0 = y
2. x+0 = y x=y
![Page 42: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/42.jpg)
Exercícios
Usar a regra “Modus Tollens” para deduzir
a conclusão de cada um dos seguintes
pares de premissas:
Modus Tollens
pq, ~q |— ~p
![Page 43: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/43.jpg)
Exercícios
1. x≠0 x+y ≠y
2. x+y = y
Modus Tollens
pq, ~q |— ~p
![Page 44: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/44.jpg)
Exercícios
Modus Tollens
pq, ~q |— ~p
Conclusão: x=0
1. x≠0 x+y ≠y
2. x+y = y
![Page 45: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/45.jpg)
Exercícios
1. x=z x=6
2. x≠6
Modus Tollens
pq, ~q |— ~p
![Page 46: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/46.jpg)
Exercícios
Modus Tollens
pq, ~q |— ~p
Conclusão: x≠z
1. x=z x=6
2. x≠6
![Page 47: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/47.jpg)
Exercícios
1. (p↔q) ~(r ^ s)
2. ~~(r ^ s)
Modus Tollens
pq, ~q |— ~p
![Page 48: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/48.jpg)
Exercícios
Modus Tollens
pq, ~q |— ~p
Conclusão: ~(p↔q)
1. (p↔q) ~(r ^ s)
2. ~~(r ^ s)
![Page 49: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/49.jpg)
Exercícios
1. x>3 x>y
2. x ≤ y
Modus Tollens
pq, ~q |— ~p
![Page 50: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/50.jpg)
Exercícios
Modus Tollens
pq, ~q |— ~p
Conclusão: x≤3
1. x>3 x>y
2. x ≤ y
![Page 51: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/51.jpg)
Exercícios
Usar a regra “Silogismo Disjuntivo” para
deduzir a conclusão de cada um dos
seguintes pares de premissas:
Silogismo Disjuntivo
p v q, ~p |— q
![Page 52: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/52.jpg)
Exercícios
1. x+8 = 12 v x ≠ 4
2. x+8 ≠12
Silogismo Disjuntivo
p v q, ~p |— q
![Page 53: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/53.jpg)
Exercícios
Silogismo Disjuntivo
p v q, ~p |— q
1. Conclusão: x ≠ 4
1. x+8 = 12 v x ≠ 4
2. x+8 ≠12
![Page 54: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/54.jpg)
Exercícios
1. y < 6 v x + y < 10
2. x+y ≥ 10
Silogismo Disjuntivo
p v q, ~p |— q
![Page 55: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/55.jpg)
Exercícios
Silogismo Disjuntivo
p v q, ~p |— q
1. Conclusão: y < 6
1. y < 6 v x + y < 10
2. x+y ≥ 10
![Page 56: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/56.jpg)
Exercícios
1. s v (r ^ t)
2. ~s
Silogismo Disjuntivo
p v q, ~p |— q
![Page 57: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/57.jpg)
Exercícios
Silogismo Disjuntivo
p v q, ~p |— q
Conclusão: (r ^ t)
1. s v (r ^ t)
2. ~s
![Page 58: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/58.jpg)
Exercícios
1. ~p v ~q
2. ~~q
Silogismo Disjuntivo
p v q, ~p |— q
![Page 59: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/59.jpg)
Exercícios
Silogismo Disjuntivo
p v q, ~p |— q
Conclusão: ~p
1. ~p v ~q
2. ~~q
![Page 60: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/60.jpg)
Exercícios
Usar a regra “Silogismo Hipotético” para
deduzir a conclusão de cada um dos
seguintes pares de premissas:
Silogismo Hipotético
p q, q r |— pr
![Page 61: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/61.jpg)
Exercícios
1. p r v ~s
2. r v ~s t
Silogismo Hipotético
p q, q r |— pr
![Page 62: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/62.jpg)
Exercícios
Silogismo Hipotético
p q, q r |— pr
Conclusão: p t
1. p r v ~s
2. r v ~s t
![Page 63: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/63.jpg)
Exercícios
1. x=3 x<y
2. x<y x = z
Silogismo Hipotético
p q, q r |— pr
![Page 64: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/64.jpg)
Exercícios
Silogismo Hipotético
p q, q r |— pr
Conclusão: x=3 x=z
1. x=3 x<y
2. x<y x = z
![Page 65: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/65.jpg)
Exercícios
1. s v t r ^ q
2. r ^ q ~p
Silogismo Hipotético
p q, q r |— pr
![Page 66: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/66.jpg)
Exercícios
Silogismo Hipotético
p q, q r |— pr
Conclusão: s v t ~p
1. s v t r ^ q
2. r ^ q ~p
![Page 67: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/67.jpg)
Exercícios
1. xy=6 xy+5=11
2. xy+5=11 x=2
Silogismo Hipotético
p q, q r |— pr
![Page 68: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/68.jpg)
Exercícios
Silogismo Hipotético
p q, q r |— pr
Conclusão: xy=6 x=2
1. xy=6 xy+5=11
2. xy+5=11 x=2
![Page 69: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/69.jpg)
Exercícios
Usar a regra “Conjunção” para deduzir a
conclusão de cada um dos seguintes
pares de premissas:
Conjunção
p , q |— p ^ q
![Page 70: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/70.jpg)
Exercícios
Conclusão:
1. xy=6
2. x=2
Conjunção
p , q |— p ^ q
![Page 71: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/71.jpg)
Exercícios
Conclusão: xy=6 ^ x=2
1. xy=6
2. x=2
Conjunção
p , q |— p ^ q
![Page 72: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/72.jpg)
Exercícios
Conclusão:
1. x > 1
2. x < 3
Conjunção
p , q |— p ^ q
![Page 73: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/73.jpg)
Exercícios
Conclusão: x > 1 ^ x < 3
1. x > 1
2. x < 3
Conjunção
p , q |— p ^ q
![Page 74: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/74.jpg)
Exercícios
Conclusão:
1. x y
2. x v y
Conjunção
p , q |— p ^ q
![Page 75: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/75.jpg)
Exercícios
Conclusão: (x y) ^ (x v y)
1. x y
2. x v y
Conjunção
p , q |— p ^ q
![Page 76: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/76.jpg)
Exercícios
Conclusão:
1. x v y
2. x v ~y
Conjunção
p , q |— p ^ q
![Page 77: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/77.jpg)
Exercícios
Conclusão: (x v y) ^ (x v ~y)
1. x v y
2. x v ~y
Conjunção
p , q |— p ^ q
![Page 78: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/78.jpg)
Exercícios
Usar a regra “Resolução” para deduzir a
conclusão de cada um dos seguintes
pares de premissas:
Resolução
p v q, ~p v r |— q v r
![Page 79: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/79.jpg)
Exercícios
Conclusão:
1. x v y
2. z v ~y
Resolução
p v q, ~p v r |— q v r
![Page 80: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/80.jpg)
Exercícios
Conclusão: x v z
1. x v y
2. z v ~y
Resolução
p v q, ~p v r |— q v r
![Page 81: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/81.jpg)
Exercícios
Conclusão:
1. (p ^ q) v r
2. t v ~(p ^q)
Resolução
p v q, ~p v r |— q v r
![Page 82: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/82.jpg)
Exercícios
Conclusão: t v r
1. (p ^ q) v r
2. t v ~(p ^q)
Resolução
p v q, ~p v r |— q v r
![Page 83: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/83.jpg)
Exercícios
Usar a regra “Simplificação” para deduzir
a conclusão de cada um dos seguintes
pares de premissas:
Simplificação
p ^ q |— p
![Page 84: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/84.jpg)
Exercícios
Conclusão:
x > 1 ^ x < 3
Simplificação
p ^ q |— p
![Page 85: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/85.jpg)
Exercícios
Conclusão: x > 1
x > 1 ^ x < 3
Simplificação
p ^ q |— p
![Page 86: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/86.jpg)
Exercícios
Conclusão: x < 3
x > 1 ^ x < 3
Simplificação
p ^ q |— p
![Page 87: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/87.jpg)
Exercícios
Conclusão:
(pq) ^ ~(p v q)
Simplificação
p ^ q |— p
![Page 88: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/88.jpg)
Exercícios
Conclusão: pq
(pq) ^ ~(p v q)
Simplificação
p ^ q |— p
![Page 89: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/89.jpg)
Exercícios
Conclusão: ~(p v q)
(pq) ^ ~(p v q)
Simplificação
p ^ q |— p
![Page 90: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/90.jpg)
Exercícios
Usar a regra “Adição” para deduzir a
conclusão de cada um dos seguintes
pares de premissas:
Adição
p |— p v q
![Page 91: Regras de Inferência - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Usar a regra “Modus Tollens” para deduzir a conclusão](https://reader031.vdocuments.pub/reader031/viewer/2022022112/5c601b9009d3f2ac118b486c/html5/thumbnails/91.jpg)
Indicar a Regra de Inferência que justifica a
validade dos seguintes argumentos
pq├ (pq) v ~r
~p ^ (qr) ├ ~p
pq, q~r ├ p ~r
p (qr), p ├ qr
(q v r) ~p, ~~p ├ ~(q v r)
p q, r ~s ├ (pq) ^ (r~s)
(p^q)v(~p^r), ~(~p^r) ├ p^q
x+y = z y+x=z, x+y=z ├ y +x = z