Na lógica formal, temos os operadores lógicos do condicional (?), negação (~) e conjunção (^), representados na fórmula proposicional (P^Q?~R) Supondo que: P representa a sentença declarativa: Maria tem salário líquido maior que R$ 2.500,00 Q representa a sentença declarativa: Maria desconta imposto de renda na fonte. R representa a sentença declarativa: Maria recebe auxílio refeição. A alternativa que representa, em linguagem natural, a fórmula acima para as respectivas sentenças declarativas é: