Questão 677551

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 lógica 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: