Imagem de fundo

Sejam ~, ˅, ˄, → e ↔ os símbolos, respectivamente, dos seguintes conectivos lógicos: ne...

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.