Na lógica formal, temos os operadores lógicos do condicional (→),negaçã...

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


publicidade
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 é:
Analisando...
publicidade

🚀 Desbloqueie a explicação completa

Veja comentários detalhados e resoluções exclusivas para entender o gabarito desta questão.

Criar conta grátis
  • Bruno Costa
    Bruno Costa
    29/01/2018 • 12:41
    Questão (P ^ Q → ~ R)

    Transcrevendo fica:

    Se P e Q então não R
🍪

Utilizamos cookies e tecnologias semelhantes para aprimorar sua experiência de navegação. Política de Privacidade.