Siteadmin, Check users, nsTeam1RO, nsTeam1RW, nsTeam1_talkRO, nsTeam1_talkRW, oversight, Administrators
30,650
edits
Changes
just off the top of my head
A '''deduction''' in [[formal logic]] is a conclusion drawn from premises or facts. Such a deduction is said to "follow" from previously stated propositions via certain logical rules.
The most famous rule goes as follows:
#A is true.
#If A is true, then B is true.
#Therefore, B is true.
A lesser know rule is:
#If Q is true, then R is true.
#R is not true.
#Therefore, Q is not true.
Aristotle codified the rules of deduction two millenia ago in [[Ancient Greece]]. He also added 256 rules about groups of things. For example:
#All men are mortal.
#Socrates as a man.
#Therefore, Socrates is mortal.
The most famous rule goes as follows:
#A is true.
#If A is true, then B is true.
#Therefore, B is true.
A lesser know rule is:
#If Q is true, then R is true.
#R is not true.
#Therefore, Q is not true.
Aristotle codified the rules of deduction two millenia ago in [[Ancient Greece]]. He also added 256 rules about groups of things. For example:
#All men are mortal.
#Socrates as a man.
#Therefore, Socrates is mortal.