Siteadmin, Check users, nsTeam1RO, nsTeam1RW, nsTeam1_talkRO, nsTeam1_talkRW, oversight, Administrators
30,650
edits
Changes
Jump to navigation
Jump to search
Line 1:
Line 1: − + + +
intro: where is it used?
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.
A '''deduction''' in [[formal logic]] is a way of proving a proposition. It is used most often in geometry, but also has its place in philosophy and law. Sadly, it is often left out of ideology and even science.
When a conclusion is inferred from premises or facts, it is said to "follow" from previously stated propositions via certain logical rules.
The most famous rule goes as follows:
The most famous rule goes as follows: