Question

Na lógica proposicional, definem-se regras para determinar o valor-verdade (verdadeiro ou falso) desentenças em relação a um modelo parficular. Essas regras permitem representar raciocínios lógicoscomuns das linguagens naturais.Nesse contexto, considere a sentença e as proposições lógicas a seguir."Um veículo que é elétrico (E) pode ser um robô (R) se for autônomo (A), caso contrário não é um robô (R)".P1 = (E R) A;P2 = EP3 = E(R((AA) ;R) R) .A sentença pode ser representada pela(s) expressão(ões) lógica(s)@ P2, apenas.@ P3, apenas.O P1 e P2, apenas.fÚ P1 e P3, apenas.O P1, P2 e P3.

#ENADE

Answer 1

A alternativa correta é a  P2, apenas.

No sistema de cálculo sentencial as fórmulas são sistemas de formais que poderão ser formadas por meio de agrupamento de proposições de natureza atômicas que podem ser utilizadas como conectivos lógicos e com uma regra de sistemas de regras derivação.

Os sistemas de autônomo de expressão lógica apresentada no contexto de consideração de sentenção e das proposições de lógicas a seguir. Com regras de permissão de representação de raciocínios.

Espero ter ajudado.