Logic of class
The logic of class is a branch of logic that is dedicated to distinguishing correct reasonings from wrong reasonings by using Venn Diagrams.
Use inductions, afim positive individuals, as fomas of pemisas. Each premise that some form of this logic has its wording and meaning corespondiente Thus, for example:
- Universal Affirmative (called type A)
- Whether the proposition "All fish are aquatic". This indicates that the class fish are included in full in the aquatic kind. This is a ratio of total inclusion and how to respond, or has or is expressed by: "All S is P"
- Universal Negative (called type E)
- "Anything child is old". The above proposition indicates that any element of the class of children belonging to the class of old. This is a ratio of total exclusion and is expressed, answer or has the form "No S is P"
- Particular Affirmative (called type I)
- "Some students are artists" is a proposition which states that at least one class of students is included in the class of artists. This is a partial inclusion relation is expressed, answer or has the form "Some S are P"
- Particular Negative (called Type O)
- The proposition "Some roses are red" states that at least one of the roses outside the class of the red. Here is a relation of partial exclusion, denoted as "Some S are not P"
Using Venn diagrams can be viewed reasoning. If the argument is valid and the conclusion must be determined from the premises that are represented in the diagram
Each form of reasoning has a convertient, a premise that is equivalent but with opposite Ex:
- All S is P. Convertiente:
- Some P is S. P is a subset in S
- Anything S is P Convertiente:
- No P is S. P does not belong to S
- Some S is P Convertiente:
- Some P is S. There are elements belonging to P are S and vice versa
- Some S is not P Convertiente:
- (Not have)
See also
- Logic
- Syllogism
- Mathematical logic
- Propositional logic
ca:Lògica de classes es:Lógica de clases fr:Logique de classe gl:Lóxica de clases pt:Lógica de classes ru:Логика классов