the.com/syllogism
logic's two-step proof where if the setup holds, the conclusion has nowhere to hide.
aristotle's babyFormalized by Aristotle around 350 BC
valid yet falsePerfect logic survives totally bogus premises
256 formsOnly 24 are actually logically valid
latin mnemonicsMedieval monks memorized them via Barbara, Celarent