Please enable JavaScript.
Coggle requires JavaScript to display documents.
Modelos Clássicos de Argumentos Válidos (Modus Ponens (Ex: (P → ~Q, P, ~Q)…
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
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
~Q
~P
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)