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