WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
This Concept Map, created with IHMC CmapTools, has information related to: deduction, all S are M therefore (ArgScheme: AAA-1) all S are P, some S are M therefore (ArgScheme: EIO-1) some S are not P, some M are S therefore (ArgScheme: AII-3) some S are P, all M are P therefore (ArgScheme: AII-3) some S are P, no prisoner of war should ever be in- tentionally mistreated therefore (ArgScheme: AEE-2) no prisoner of war should ever be tortured, some S are M therefore (ArgScheme: EIO-2) some S are not P, some M are S therefore (ArgScheme: EIO-4) some S are not P, no bachelor is married therefore (ArgScheme: EAE-2) no husband is a bachelor, no M is P therefore (ArgScheme: EIO-1) some S are not P, no bike has four wheels therefore (ArgScheme: AEE-2) no bike is a car, no P is M therefore (ArgScheme: EAE-2) no S is P, all P are M therefore (ArgScheme: AEE-2) no S is P, all P are M therefore (ArgScheme: AEE-4) no S is P, all S are M therefore (ArgScheme: EAE-2) no S is P, Deduction in categorical logic: The 15 logically valid forms where the basic units are classes (or sets, categories) and predicates. Predicates are predicated either of all members of a class or of some (i.e. at least one), these blind- folded bats are bats that avoid obstacles when flying defeats (ConfScheme) all bats that avoid obstacles when flying are using their eyes, all husbands are married therefore (ArgScheme: EAE-2) no husband is a bachelor, no blindfolded bats are using their eyes therefore (ArgScheme: AEE-2) no blindfolded bats are bats that avoid obstacles when flying, the basic units are classes (or sets, categories) and predicates. Predicates are predicated either of all members of a class or of some (i.e. at least one) see also LAM schemes in propositional logic, some P are M therefore (ArgScheme: IAI-4) some S are P