Question

– Na lógica formal, temos os operadores lógicos de condicional (→), negação (~) e conjunção (∧ ), representados na fórmula proposicional
(p ∧ q → ~r)
(p ∧ q → ~r)
Supondo que:

p: Maria tem salário líquido maior que R$ 2.500,00.
q: Desconta imposto de renda na fonte.
r: 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 desconta imposto de renda na fonte, então Maria não recebe auxílio refeição.

Answer 1

Resposta correta é D) 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.