Considere a proposição composta: Se o servidor cumpre as metas de eficiência e não ultrapassa o teto de gastos, então ele recebe a bonificação ou o projeto é auditado. Sabe-se que a afirmação O servidor recebe a bonificação é falsa e a afirmação O projeto é auditado também é falsa.
Para que toda a proposição logica declarada inicialmente seja considerada verdadeira, sob a ótica da tabela-verdade dos conectivos condicionais, é necessário que, obrigatoriamente, ocorra a seguinte condição sobre o antecedente: