A partir das premissas A → ¬B e B ∧ C, quais regras inferenciais permitem concluir C ∨ A?

Resposta

Eliminar a conjunção, aplicar contraposição e modus ponens para obter ¬A, então usar introdução de disjunção.

Explicação:
De B ∧ C, por eliminação de conjunção, obtemos B e C.
De A → ¬B, por contraposição, obtemos B → ¬A.
De B e B → ¬A, por modus ponens, obtemos ¬A.
Como C é verdadeiro, por introdução de disjunção concluímos C ∨ A, logo a conclusão é consequência lógica das premissas.

Premissas:
1. Se a máquina estiver ligada então não há manutenção, M → ¬N.
2. Há manutenção e há peças, N ∧ P.
Passos:
De N ∧ P obtemos N e P.
Contrapondo M → ¬N obtemos N → ¬M, de N inferimos ¬M.
Como P é verdadeiro, por introdução de disjunção concluímos P ∨ M.