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) ...


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

🚀 Desbloqueie a explicação completa

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

  • Bruno Costa
    Bruno Costa
    31/12/1969 • 21:00
    Questão (P ^ Q → ~ R)

    Transcrevendo fica:

    Se P e Q então não R
🔒
Conteúdo restrito

Cadastre-se para visualizar comentários e resoluções.

Criar conta grátis

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