Logic: Form And Function: The Mechanization Of Deductive Reasoning
Pages no: 312
Edition language: English
A couple of thousand years ago, Aristotle, or one of those guys (I don't know as much as I should about the history of logic), came up with the idea of the syllogism. I assume people already took it for granted that you could justify a statement by saying it followed from one or two other statements...