Em uma tabela-verdade, quando a implicação \(A \to B\) é falsa e como se obtém a coluna final a partir das colunas de \(A\) e \(B\)?

A → B é F somente quando A = V e B = F.

Explicação:
Para construir a coluna de \(A \to B\) faça linha a linha: calcule primeiro as colunas de \(A\) e de \(B\) e aplique a regra do condicional (F só se \(A\) for V e \(B\) for F).

Exemplo:
Considere \(A = p \land q\) e \(B = r \lor \neg p\). Para a linha com \(p=V,\; q=V,\; r=F\):
\(A = p \land q = V \land V = V\)
\(\neg p = F\)
\(B = r \lor \neg p = F \lor F = F\)
Logo \(A \to B = V \to F = F\).