Uma proposição composta é uma tautologia quando todos os seus valores lógicos são V, independentemente dos valores lógicos das proposições simples que a compõem. Então, a proposição [A∧(A→B)]→B é uma tautologia.