Imagem de fundo

Sejam ~, ˅, ˄, → e ↔ os símbolos, respectivamente, dos...

Sejam ~, ˅, ˄, → e ↔ os símbolos, respectivamente, dos seguintes conectivos lógicos: negação, disjunção, conjunção, condicional e bicondicional. Considere as proposições A,B,C e D e a seguir:

A: p ˅~ (p ˄ q)

B; p ↔ q

C: (p ˄ q) ˄~ (p ˅ q)

D: p ˅ q → q

É CORRETO afirmar que


A

somente a proposição D é uma contingência.


B

somente a proposição A é uma contingência.


C

as proposições B e C são contradições.


D

as proposições A e C são contingências.


E

todas as proposições são tautológicas.