Lista de símbolos:
? Condicional
?? Bicondicional
? Conector e
? Conector ou
? Conector ou exclusivo
¬ Negação da proposição
Se P, Q e R são proposições simples verdadeiras, então o valor lógico de (P ? Q) ? (¬P ? ¬R) é:
A) Contraditório.
B) Tautológico.
C) Verdadeiro.
D) Falso.
E) Impossível de saber.