///
Sejam ~, ˅, ˄, →, ↔ 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 a seguir: A: p ˅ (p ˄ ~ q)
B: p ↔ p
C: (p ˄ q) ˄ (~ p ˅ q)
D: p ˅ q → q
É CORRETO afirmar que