A Uma proposição p equivale a uma proposição q, se o bicondicional pq é uma tautologia.
B Uma proposição p equivale a uma proposição q, se o condicional p  → q é uma tautologia.
C Uma proposição p implica numa uma proposição q, se o condicional p→ q é uma tautologia.
D A disjunção entre duas proposições é verdadeira se uma das duas proposições for verdadeira.
E A conjunção entre duas proposições é falsa se uma das proposições for falsa.