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)