Sabemos que o objetivo da consequência lógica é por meio das implicações e equivalências tautológicas, provas diretas e regras de inferência para realizar a validação dos argumentos. Sendo assim, considere a seguinte proposição composta “Q”: Q: “Se alguém é mágico, então faz truques. Se alguém faz truques, ilude. Logo, se alguém é mágico, ilude.” Traduza para a forma simbólica e organize na forma do argumento. Assinale a alternativa correta:
Questão
Sabemos que o objetivo da consequência lógica é por meio das implicações e equivalências tautológicas, provas diretas e regras de inferência para realizar a validação dos argumentos. Sendo assim, considere a seguinte proposição composta “Q”: Q: “Se alguém é mágico, então faz truques. Se alguém faz truques, ilude. Logo, se alguém é mágico, ilude.” Traduza para a forma simbólica e organize na forma do argumento. Assinale a alternativa correta:
Alternativas
A) p ˄ q P1 q ↔ r P2 ∴ p → ⁓r C
B) ⁓p → q P1 q ˅ r P2 ∴ ⁓p → r C
C) p → q P1 q → r P2 ∴ p → r C
D) ⁓p ↔ ⁓q P1 ⁓q → r P2 ∴ p ˅ r C
E) p ↔ q P1 ⁓q → r P2 ∴ p ˄ r C
Explicação
Definindo as proposições simples a partir do enunciado:
- : “alguém é mágico”
- : “alguém faz truques”
- : “alguém ilude”
Agora traduzimos cada frase:
-
“Se alguém é mágico, então faz truques.”
Isso é uma condicional: (Premissa 1) -
“Se alguém faz truques, ilude.”
Outra condicional: (Premissa 2)
Conclusão: “Logo, se alguém é mágico, ilude.”
Condicional:
Forma do argumento (silogismo hipotético):
- P1:
- P2:
- C:
Isso corresponde exatamente à alternativa C.
Alternativa correta: (C).