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