Considere o seguinte argumento:

Premissa 1: [(~A) ∧ (~G)] → (~P)

Premissa 2: P

Conclusão: A ∨ G

A validade do argumento pode ser deduzida, respectivamente, a partir da aplicação das regras de inferência