A Uma proposição p implica numa proposição q, se o bicondicional p <-> q é 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 proposição q, se o condicional p -> q é uma tautologia.
D Uma proposição p equivale a uma proposição q, se o bicondicional p -> q é uma contingência.