ADM1243|2GA|2GB PROFª ANNA MARIA SOTERO

10 — EXERCÍCIOS: VALIDAÇÃO DE ARGUMENTOS

1) Testar, usando tabela-verdade, a validade dos argumentos.
a) Se Londres está na China, então Paris não está na França. Mas Paris está na França. Logo, Londres
está na China.
b) Se trabalhar muito, não posso estudar. Trabalho muito ou passo em integradora. Trabalhei muito.
Logo, passei em integradora.
c) Treino ou estudo. Se eu estudar, farei uma boa prova. Não fiz uma boa prova. Logo, treinei.
d) Treino ou estudo. Se eu estudar, farei uma boa prova. Fiz uma boa prova. Logo, não treinei.

2) (FGV/2015 | TJ-PI/2016) Renato falou a verdade quando disse:

• Corro ou faço ginástica.
• Acordo cedo ou não corro.
• Como pouco ou não faço ginástica.
Certo dia, Renato comeu muito. É correto concluir que, nesse dia, Renato:
a) Correu e fez ginástica.
b) Não fez ginástica e não correu.
c) Correu e não acordou cedo.
d) Acordou cedo e correu.
e) Não fez ginástica e não acordou cedo.

3) (DPE-RR/2015) Alberto, Bernardo e Carlos estão planejando ir a uma festa. Se Alberto for a festa,
então Bernardo não irá. Se Bernardo não for a festa, então Carlos também não irá. De acordo com
isso, é necessariamente correto afirmar que:
a) Se Bernardo não for à festa, então Alberto irá à festa.
b) Se Alberto for à festa, então Carlos não irá à festa.
c) Se Alberto não for à festa, então Bernardo também não irá à festa.
d) Se Alberto não for à festa, então Bernardo irá à festa.
e) Se Carlos não for à festa, então Bernardo também não irá à festa.

4) (BANPARÁ/2015) Se Aldo se casa com Bianca, então Bianca fica feliz. Se Bianca fica feliz, então Clara
chora. Se Clara chora, então Dione consola Clara. Ora, Dione não consola Clara, logo:
a) Clara não chora e Bianca fica feliz.
b) Clara não chora e Aldo não se casa com Bianca.
c) Bianca não fica feliz e Aldo se casa com Bianca.
d) Bianca fica feliz e Aldo se casa com Bianca.
e) Clara chora e Bianca fica feliz.
 ADM1243|2GA|2GB PROFª ANNA MARIA SOTERO

5) (Prefeitura RJ/2016) Considerem-se os seguintes argumentos:

Argumento I
Premissa 1: Se a batata está cara, então João compra cenoura.
Premissa 2: Se João compra cenoura, então sua esposa não fica feliz.
Conclusão: Se a esposa de João fica feliz, então a batata não está cara.
Argumento II
Premissa 1: Se a firma falir, os bens serão confiscados.
Premissa 2: A firma não faliu.
Conclusão: Os bens não foram confiscados.
Os argumentos I e II, respectivamente, são corretamente classificados como:
a) Válido e válido
b) Válido e inválido
c) Inválido e válido
d) Inválido e Inválido

6) Determine a validade do argumento: “Se a segurança é um problema, então o controle será

aumentado. Se a segurança não é um problema, então os negócios na internet irão aumentar.
Portanto, se o controle não for aumentado, os negócios na internet crescerão”.
7) Verificar que são válidos os argumentos a seguir usando as Regras de Inferência .
a) 𝑝 ∧ 𝑞, 𝑝 → 𝑟 ⊢ 𝑝 ∧ 𝑟
b) ~𝑝 ∧ 𝑞, 𝑟 → 𝑝 ⊢ ~𝑝 ∧ ~𝑟
c) 𝑝 → ~𝑞 ∧ 𝑟, 𝑝, 𝑠 → 𝑞, 𝑠∨𝑡 ⊢ 𝑡
d) 𝑝 ∨ 𝑞 → ~𝑟, 𝑠 → 𝑝, 𝑡 → 𝑞, 𝑠 ∨ 𝑡 ⊢ 𝑢 ∨ ~𝑟
e) 𝑝 → 𝑞, 𝑞 → 𝑟, (𝑝 → 𝑟) → ~𝑠, 𝑠∨𝑡 ⊢ 𝑡
f) ~𝑝 ∨ ~𝑞, ~𝑞 → ~𝑟, ~𝑝 → 𝑡, ~𝑡 ⊢ ~𝑟 ∧ ~𝑡
8) Testar a validade dos argumentos. Justifique através das regras de inferência ou falácias.
a) Se 8 não é par, então 5 não é primo. f) Se eu estudar tudo, eu passarei.
Mas 8 é par. Eu não passei.
Logo, 5 é primo. Logo, eu não estudei tudo.
b) Se chove, Marcos fica resfriado. g) Se eu estudar tudo, eu passarei.
Marcos não ficou resfriado. Eu passei.
Logo, não choveu. Logo, estudei tudo.
c) Quem joga xadrez, é sagaz. h) Subo ou desço.
Quem é sagaz, é ambicioso. Não subo.
Logo, jogadores de xadrez são ambiciosos. Portanto, desço.
d) Se 8 é par, então 3 não divide 7. i) Se Pedro for ao cinema, comerá pipoca.
5 não é primo ou 3 divide 7. Sabe-se que ele foi ao cinema.
Mas 5 é primo. Logo, ele comeu pipoca.
Portanto, 8 é ímpar. j) Se Londres está na China, então Paris
e) Trabalho ou passo em Integradora. não está na França.
Não trabalhei. Mas Londres não está na China.
Logo, passei em Integradora. Logo, Paris está na França.
 ADM1243|2GA|2GB PROFª ANNA MARIA SOTERO

GABARITO
1)
a) Sofisma
b) Sofisma
c) Válido
d) Sofisma
2) D (SD, SD, SD, CONJ)
3) B (SH)
4) B
5) B
6) Válido
7)
a) SIMP, MP, CONJ
b) SIMP, MT, CONJ
c) MP, SIMP, MT, SD
d) DC, MP, AD
e) SH, MP, SD
f) MT, SD, MP, CONJ ou DC, SD, CONJ
8)
a) Sofisma; Falácia da Negação do Antecedente
b) Válido; Modus Tollens
c) Válido; Silogismo Hipotético
d) Válido; Silogismo Disjuntivo e Modus Tollens
e) Válido; Silogismo Disjuntivo
f) Válido; Modus Tollens
g) Sofisma; Falácia da Afirmação do Consequente
h) Válido; Silogismo Disjuntivo
i) Válido; Modus Ponens
j) Sofisma; Falácia da Negação do Antecedente