This machine was invented by Johan Mårtensson. You can try out any of 256 different syllogisms by setting the three pop-up menus below. Maj: All M are P All P are M No M are P No P are M Some M is P Some P is M Some M is not P Some P is not M TypeMP Min: All S are M All M are S No S are M No M are S Some S is M Some M is S Some S is not M Some M is not S TypeSM Con: All S are P No S are P Some S is P Some S is not P TypeSP Trad. mnemonic name If the syllogism is invalid. Why is this so? For an even better version, go here: better machine
Trad. mnemonic name
If the syllogism is invalid. Why is this so?
The Syllogistic Machine