MODR 1711 Lecture Notes - Lecture 8: Obversion, Toyota Electronic Modulated Suspension, Contraposition
Document Summary
Classical logic is a form of deductive logic. Deductive logic differs from inductive logic in logical strength. A deductive argument, if it is good, is valid, meaning that the truth of the premises guarantee the truth of the conclusion. This is different from inductive logic where true premises give support to the conclusion. Categorical syllogisms are made up of categorical propositions. A categorical proposition is an assertion that contains no logical terms if, and, or . Categorical propositions contain a subject and a predicate term and are telling us something about a class of logics. In order to be clear about what class of objects is being spoken about it is sometimes useful to translate the sentence given into standard form . By standard form we mean simply a form that makes the logical structure most obvious. Can translate into: deer are the type of things that are vegetarian .