Considere o seguinte argumento: Premissa 1: [(~A) ˄ (~G)] →...
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