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 é: