Differences

This shows you the differences between two versions of the page.

--- public:t-713-mers:mers-23:reasoning-basics [2023/10/03 19:46] – [Syllogisms] thorisson
+++ public:t-713-mers:mers-23:reasoning-basics [2023/10/04 09:07] (current) – removed thorisson
@@ Line 1: / Line 1: @@
-[[/public:t-713-mers:mers-23:main|DCS-T-713-MERS-2023 Main]] \\
-[[/public:t-713-mers:mers-23:lecture_notes|Lecture Notes]]
-\\
-\\
-======Introduction to Reasoning in Machines: Basic Concepts======
-\\
-\\
-\\
-=====Syllogisms=====
-|  What is it?  | A form of deductive argument/reasoning in which a conclusion is drawn from 2 given or assumed propositions (premises / statements). The premises and the conclusion are simple declarative statements constructed using only three simple terms between them, each term appearing twice (as a subject and as a predicate) \\ E.g. **all dogs are animals; \\ all animals have four legs; \\ therefore all dogs have four legs.** \\ The argument in such syllogisms is valid by virtue of the fact that it would not be possible to assert the premises and to deny the conclusion without contradicting oneself. \\ (Based on Oxford Dictionary and Encyclopedia Britannica)  |
-|  3 types  | Categorical, conditional and disjunctive.   |
-|  Categorical  | The traditional type is the categorical syllogism in which both premises and the conclusion are simple declarative statements that are constructed using only three simple terms between them, each term appearing twice. \\ Assumes all premises are true.   |
-|  Conditional  | Implies an ''if'' in the premises. \\ E.g. ** You are injured. \\ I am qualified to assist with injuries. \\ I can heal you.**  |
-|  Disjunctive  | Uses an either/or premise. \\ If it is known that at least one of two statements is true, and that it is not the former that is true; we can infer that it has to be the latter that is true.  |
-\\
-=====x=====
-|   |   |
-|   |   |
-|   |   |
-\\
-=====x=====
-|   |   |
-|   |   |
-|   |   |
-\\
-=====x=====
-|   |   |
-|   |   |
-|   |   |
-\\
-=====x=====
-|   |   |
-|   |   |
-|   |   |
-\\
-=====x=====
-|   |   |
-|   |   |
-|   |   |
-\\
-\\
-\\
-(c)K.R.Thórisson