Quando um condicional A→B é tautologia?

Resposta

Quando toda valoração que torna A verdadeira também torna B verdadeira (ou seja, A ⊨ B).

Isso impede a ocorrência do caso V→F; logo, A→B é sempre verdadeiro.

Exemplo:
Considere \( (a\land b)\rightarrow(b\lor c) \).
Se \(a\land b\) é verdadeiro então \(b\) é verdadeiro.
Logo \(b\lor c\) é verdadeiro, não existindo valoração com antecedente verdadeiro e consequente falso; portanto a implicação é tautologia.