The Three Different Types of Deductive Logic!!!

Deductive logic is basically all the saame but there are three specific types.
These three are Syllogism, Modus Ponens, and Modus Tollens.


...During the middle ages people looked to the Church for various answers of how things worked. The Church of course provided their answers from the bible, their only source of knowledge at this time. Science was not used to explain common phenomanas and such. Rather the bible was the thing to read if you needed answers as to how the earth came into existence or why your family member caught the plague.

Deductive logic fit this time period well because the bible was the answer and one couldnt reach outside of it to learn more of how things work. Deductive logic is the same. One is limited to their options/answers.

...........

1) SYLLOGISM!
Syllogism is based on facts. Not necessarily the truth but the validity of the statements.
The events of a syllogism must be in a very strict and specific order in order for it to be correct/understood.
This order is.......
*A=B
*B=C
*A=C

An Example of this would be:
Midterms require alot of writing
Something hat requires alot of writing is stressful
Midterms are stressful
.............

2) MODUS PONENS!!

Validity in a Modus Ponen only has to do with correct construction of the problem. Both statements have to be consistent therefore both must have the same outcome.
So if P equals Q then in the next statement Q must equal P. There are NO negatives.

An example of this would be:
If im happy, then I have no homework
If i have no homework, then im happy

.................

3) MODUS TOLLENS!!!

These statements include negatives and therefore have a negative outcome un like a Modus Ponen which does not have this result. If something is not present then the other thing is false or cannot be present as well. Usually P is equal to Q but in this statement if Q is false then P is as well

An example of this would be:
If you are smart then you have good grades
If you do not have good grades then you are not smart
...this statement is also used in Geometry/mathematics and is referred to as contraposotive......

THE END!!!
best blog in core!