Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
Considerando o símbolo → representando a implicação...
Ano:
2023
Banca:
COPEVE/UFAL - FUNDEPES
Prova:
COPEVE/UFAL - FUNDEPES - IFAL - Bibliotecário Documentalista - 2023
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.