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?
Questão — da prova oficial, com gabarito conferido contra o gabarito publicado pela banca. Resolva abaixo e veja a explicação comentada.
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?
Fonte: prova oficial · Extração determinística com gabarito oficial conferido.
Nenhum comentário ainda. Seja o primeiro a explicar como resolveu.