Como determinar se uma proposição é verdadeira ou falsa a partir de premissas usando eliminação de possibilidades e consistência lógica?

Resposta

Verifica‑se se a proposição é consequência lógica das premissas; se for compatível com todas as premissas é verdadeira, se contradiz alguma é falsa.

Explicação:
Aplica‑se inferência lógica e eliminação de possibilidades (excluir alternativas incompatíveis) para obter consequências das premissas.
Se a proposição pode ser deduzida sem gerar contradição, aceita‑se como verdadeira; se leva a contradição com as premissas, rejeita‑se como falsa.