Diz-se que uma proposição composta A implica numa proposição composta B, se:
a conjunção entre elas for tautologia.
o condicional entre elas, nessa ordem, for tautologia.
o bicondicional entre elas for tautologia.
A disjunção entre elas for tautologia.
