Diz-se que uma proposição composta A implica numa proposição composta B, se: