Redação Oficial

Na lógica proposicional, definem-se regras para determinar o valor-verdade (verdadeiro ou falso) de sentenças em relação a um modelo particular. Essas regras permitem representar raciocínios lógicos comuns 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 = E (R ↔ A);

P3 = E ( (A R) ∨ ¬ R) .

A sentença pode ser representada pela(s) expressão(ões) lógica(s)