Seja o seguinte argumento da Lógica Proposicional:
  • Premissa 1: Se Ana é mais velha que João, então Ana cuida de João.
  • Premissa 2: Se Ana cuida de João, então os pais de João viajam para o exterior.
Conclusão: Se Ana é mais velha que João, então os pais de João viajam para o exterior.
Assinale a alternativa que apresenta o nome desse argumento.
a) Modus Ponens
b) Modus Tollens
c) Dilema Construtivo
d) Contrapositivo
e) Silogismo Hipotético

Passo 1

O enunciado apresenta o seguinte argumento em Lógica Proposicional:
Premissa 1: “Se Ana é mais velha que João, então Ana cuida de João.”
Premissa 2: “Se Ana cuida de João, então os pais de João viajam para o exterior.”
Conclusão: “Se Ana é mais velha que João, então os pais de João viajam para o exterior.”
O tema é reconhecer o esquema de inferência usado para ligar duas condicionais.

Passo 2

Formalizamos com proposições: p: Ana é mais velha que João q: Ana cuida de João r: os pais de João viajam para o exterior
As premissas ficam: p \to q q \to r e a conclusão desejada é p \to r.

Passo 3

Em Lógica Proposicional, a regra que permite inferir de (p \to q) e (q \to r) a fórmula (p \to r) chama-se silogismo hipotético.

Resposta

(e)

Exercícios relacionados