Categorical Syllogisms
Math
Categorical Syllogisms (identifying forms/validity from example or vice-versa); 19 or 24 valid forms depending on definition. See Wikipedia article on syllogisms (http://en.wikipedia.org/wiki/Syllogisms) for more info and http://www.slideshare.net/mobile/justineuro/19r24p-rev-pdf for related materials. Happy reasoning!
(Comments welcome: e-mail to [email protected])
To the extent possible under law, Justine Leon Uro has waived all copyright and related or neighboring rights to Categorical Syllogisms.
To the extent possible under law, Justine Leon Uro has waived all copyright and related or neighboring rights to Categorical Syllogisms.
Sample Data
| Front | [$$]\syllo{All \sls{C} are not \sls{B}.}{Some \sls{B} are \sls{A}.}{Some \sls{A} are not \sls{C}.}[/$$] |
| Back | Valid: frEsIsOn or (Figure 4, Mood EIO) or 4-EIO |
| Tags | first-order logic predicate proposition propositional syllogism |
| Front | [$$]\syllo{All \sls{C} are \sls{B}.}{All \sls{B} are \sls{A}.}{Some \sls{A} are \sls{C}.}[/$$] |
| Back | Valid: brAmAntIp or (Figure 4, Mood AAI) or 4-AAI |
| Tags | first-order logic predicate proposition propositional syllogism |
| Front | [$$]\syllo{All \sls{C} are \sls{B}.}{All \sls{A} are not \sls{B}.}{All \sls{A} are not \sls{C}.}[/$$] |
| Back | Valid: cAmEstrEs or (Figure 2, Mood AEE) or 2-AEE |
| Tags | categorical first-order logic predicate proposition propositional syllogism |