Na lógica formal, temos os operadores lógicos do condicio...

Questão 22193 | Raciocínio Lógico, Assistente Administrativo, BRDE, FUNDATEC, Ensino Médio

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

a) Se Maria tem salário líquido maior que R$ 2.500,00 e desconta imposto de renda na fonte, então Maria recebe auxílio refeição.
b) Maria tem salário líquido maior que R$ 2.500,00. E, se desconta imposto de renda na fonte, então Maria não recebe auxílio refeição.
c) Maria tem salário líquido maior que R$ 2.500,00. E, se desconta imposto de renda na fonte, então Maria recebe auxílio refeição.
d) Se Maria tem salário líquido maior que R$ 2.500,00 e não desconta imposto de renda na fonte, então Maria não recebe auxílio refeição.
e) Se Maria tem salário líquido maior que R$ 2.500,00 e desconta imposto de renda na fonte, então Maria não recebe auxílio refeição.

Questão 22193: Na lógica formal, temos os operadores lógicos do condicio...

Na lógica formal, temos os operadores lógicos do condicional (→),negação (~) e conjunção (∧ ), representados na fórmula proposicional (P ∧ Q→~R) ...