///
Sejam ~, ˅, ˄, →, ↔ os símbolos, respectivamente, dos seguintes conectivos lógicos: negação, disjunção, conjunção, condicional e bicondicional. Sabendo que os valores lógicos das proposições simples p, q, r e s são, respectivamente, V, F, V e F, pode-se afirmar sobre o valor lógico da proposição composta P: p → ~ s ↔ (p ˅ r ˄ s) que