Manoel e Francisco trabalham juntos em uma empresa. Toda semana, há uma reunião social de confraternização entre os funcionários da empresa à qual nem sempre um dos dois comparece. Entretanto, é sempre verdade que:
"Se Manoel comparece à reunião então Francisco não comparece."
Esta afirmação é equivalente a