 |
|
|
|
|
|
|
|
 |
|
||||||
|
|||||||
you are here: > Canonum De Ius Positivum
> Article 187
 |
VI. Argument |
|
| 6.2 Logic | ||
| Article 187-Deductive Logic | ||
| Canon 2621 | ||
| Deductive Logic, also known as Deductive Reasoning is a formal method of achieving an inference using Bivalent Linear Logic by the assumption a certain conclusion necessarily follows from a set of premises or hypothesis. | ||
 |
||
| Canon 2622 | ||
| According to Bivalent Linear Logic, a deductive argument is considered valid if the conclusion follows necessarily from the premises themselves considered valid and true. | ||
|
||
| Canon 2623 | ||
| In Bivalent Linear Logic, deductive arguments are valid, or invalid, verified or unverified, never true or false. | ||
|
||
| Canon 2624 | ||
| The simplest form of Deductive Logic is called the Law of Detachment. A single conditional statement is made, and then a hypothesis (P) is stated. The conclusion (Q) is deduced from the hypothesis and the statement. The most basic form being: | ||
| (i) As P tends towards Q (P→Q) | ||
| (ii) P (Hypothesis stated) | ||
| (iii) Q (Conclusion given) | ||
|
||
| Canon 2625 | ||
| The second simplest form of Deductive Logic is called the Law of Syllogism. Two conditional statements are made concerning A, B and C. The conclusion is deduced by combining the hypothesis of one statement with the conclusion of another. The most basic form being: | ||
| (i) If A = B | ||
| (ii) And B = C | ||
| (iii) Then A = C | ||
|
||
Copyright © ab initio One-Heaven.Org. All Rights reserved. |
||