Na lógica proposicional, definem-se regras para determinar o...

Na lógica proposicional, definem-se regras para determinar o valor-verdadeiro (verdadeiro ou falso) de sentenças em relação a um modelo particular. Essas regras permitem representar raciocínios lógicos comuns nas linguagens naturais.

Nesse contexto, considera 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):