Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| public:t-713-mers:mers-24:reasoning-intro [2024/11/06 10:31] – [Syllogisms] thorisson | public:t-713-mers:mers-24:reasoning-intro [2024/11/06 10:32] (current) – [Well-Known Syllogisms] thorisson |
|---|
| |
| =====Well-Known Syllogisms===== | =====Well-Known Syllogisms===== |
| | \\ Moduls Ponens | If a conditional statement \\ **if P then Q** \\ is accepted, and the antecedent P holds, then the consequent Q may be inferred. \\ E.g. **If it's raining then its cloudy. \\ It is raining. \\ Then it's cloudy. ** | | | \\ Moduls Ponens | If a conditional statement \\ **if P, then Q.** \\ is accepted, and its stated antecedent P holds, then the consequent Q must be rightly inferred. \\ E.g. **If it's raining then its cloudy. \\ It is raining. \\ Then it's cloudy. ** | |
| | \\ Moduls Tollens | A mixed syllogism that takes the form of \\ **If P, then Q. \\ Not Q. \\ Therefore, not P.** \\ Application of the general truth that if a statement is true, then so is its contrapositive ("if not-B then not-A" is the contrapositive of "if A then B"). | | | \\ Moduls Tollens | A mixed syllogism that takes the form of \\ **If P, then Q. \\ Not Q. \\ Therefore, not P.** \\ Application of the general truth that if a statement is true, then so is its contrapositive ("if not-B then not-A" is the contrapositive of "if A then B"). | |
| |
