Considere a seguinte afirmação: Se um aluno estudou lógica proposicional e compreende o uso dos conectivos lógicos, então ele será capaz de resolver questões de tabelas verdade. Essa afirmação é logicamente equivalente a dizer que, embora o aluno possa ter estudado lógica proposicional, ele não compreende o uso dos conectivos lógicos, ou ele será capaz de resolver questões de tabelas verdade.