Quais regras de inferência permitem extrair componentes de uma conjunção, obter o consequente de uma condicional cujo antecedente é verdadeiro e inferir a negação do antecedente qu

Eliminação da conjunção, modus ponens e modus tollens.

Explicação:
De P ∧ Q obtém-se P e Q por eliminação da conjunção.
De R → S e R obtém-se S por modus ponens.
De T → U e ¬U obtém-se ¬T por modus tollens.

exemplo:
Premissas:
1) Se o sensor detecta vazamento então o alarme dispara. (L → A)
2) Se o software foi atualizado então é necessário manutenção. (U → M)
3) O software foi atualizado e o alarme não disparou. (U ∧ ¬A)

Derivação:
- De U ∧ ¬A extrai-se U e ¬A (eliminação da conjunção).
- De U e U → M segue M (modus ponens).
- De ¬A e L → A segue ¬L (modus tollens).
Conclusão: é verdade que M ∧ ¬L (manutenção necessária e o sensor não detectou vazamento).