Q857483 - COPEVE-UFAL - 2023 - IFAL - AL - Técnico em Assuntos Educacionais,

Considerando o símbolo → representando a implicação. Considerando, também, três fórmulas bem formadas quaisquer, da lógica proposicional α, β e θ, sendo θ = α→β, em qual circunstância θ é uma contradição?

a) α e β sendo válidas.
b) α e β sendo contradições.
c) α e β sendo contingências.
d) α sendo contradição e β sendo válida.
e) α sendo válida e β sendo contradição.

Q857483 - COPEVE-UFAL - 2023 - IFAL - AL - Técnico em Assuntos Educacionais,

Raciocínio Lógico