Modelos Clássicos de Argumentos Válidos

Modus Ponens

Ele traz uma condicional como uma das premissas e o antecedente dessa condicional como outra premissa

A Conclusão será o consequente da condicional

Ex:

P → ~Q

Modus Tolens

Ele traz uma condicional como uma das premissas e a negação do consequente dessa condicional como outra premissa

A conclusão será a negação do antecedente da condicional

Ex:

P → Q

Dilema Construtivo

Ele traz três premissas, sendo suas condicionais e uma disjunção inclusiva composta pelos antecedentes das duas condicionais

A conclusão será uma disjunção inclusiva composta pelos consequentes das duas condicionais

Ex:

P → Q

R → S

P v R

Q v S

Dilema Destrutivo

Ele traz três premissas, sendo duas condicionais e uma disjunção inclusiva composta pelas negações dos consequentes das duas condicionais

A conclusão será uma disjunção inclusiva composta pelas negações dos antecedentes das duas condicionais

Ex:

P → Q

R → S

~Q v ~S

~ P v ~R

Absorção

Ele traz apenas uma condicional como premissa

A conclusão será uma condicional cujo antecedente é igual ao antecedente da premissa e o consequente será a conjunção formada pelo antecedente e consequente da premissa

Ex:

P → Q

P → (P ^ Q)