A para quaisquer valores lógicos de duas proposições simples o condicional entre elas tem valor lógico verdadeiro
B para quaisquer valores lógicos de duas proposições simples o bicondicional entre elas tem valor lógico falso
C para quaisquer valores lógicos de duas proposições simples a conjunção entre elas tem valor lógico verdadeiro
D para quaisquer valores lógicos de duas proposições simples a disjunção entre elas tem valor lógico verdadeiro
E se o valor lógico de uma proposição p é verdadeiro e o valor lógico de uma proposição q é falso, então a disjunção exclusiva entre elas tem valor lógico verdadeiro