3.2.4 Rules 3 & 4 Modus Ponens and Modus Tollens

preview_player
Показать описание
Two simple Rules of Inference, Modus Ponens and Modus Tollens, are introduced.
Рекомендации по теме
Комментарии
Автор

1. affirming the antecedent (Modus Ponendo Ponens)
if ((if p, then q) & p) then q
2. denying the consequent (Modus Tollendo Tollens)
if ((if p, then q) & not q) then not p
3. disjunctive syllogism (Modus Tollendo Ponens)
if ((p or q) and not q) then p;
if ((p or q) and not p) then q
4. conjunctive syllogism (Modus Ponendo Tollens)
if ((not both p and q) & p) then not q;
if ((not both p and q) & q) then not p
5. fallacy of the converse or "affirming the consequent"
if (( if p then q) & q) then p
6. fallacy of the inverse or "denying the antecendent"
if (( if p then q) & not p) then not q.
PS i love mediaeval latin

rupertbear