A Handbook of LogicHarper, 1961 - 250 עמודים |
מתוך הספר
תוצאות 1-3 מתוך 18
עמוד 231
... Machine . " Jevons had been impressed by Boole's logical algebra , but thought it was too complicated . Accordingly , he devised a machine to perform ( as he thought ) all the work of inference which in Boole's system was performed by ...
... Machine . " Jevons had been impressed by Boole's logical algebra , but thought it was too complicated . Accordingly , he devised a machine to perform ( as he thought ) all the work of inference which in Boole's system was performed by ...
עמוד 232
... machine for testing the validity of categorical syllo- gisms . This machine , or one similar to it , could be made for a few dollars by anyone with a knack for wiring and handling a screwdriver . The second machine is far more complex ...
... machine for testing the validity of categorical syllo- gisms . This machine , or one similar to it , could be made for a few dollars by anyone with a knack for wiring and handling a screwdriver . The second machine is far more complex ...
עמוד 236
... MACHINE FOR TESTING TRUTH FUNCTIONS Contrasting in size and complexity with the simple syllo- gism machine described above are the large logical calculators now being introduced in modern science and industry . These machines are built ...
... MACHINE FOR TESTING TRUTH FUNCTIONS Contrasting in size and complexity with the simple syllo- gism machine described above are the large logical calculators now being introduced in modern science and industry . These machines are built ...
תוכן
What is logic? I CHIGAN | 13 |
Inferences from simple propositions | 37 |
The syllogism II | 70 |
זכויות יוצרים | |
7 קטעים אחרים שאינם מוצגים
מהדורות אחרות - הצג הכל
מונחים וביטויים נפוצים
affirmative affirming the consequent alternation analytic antecedent antilogism argue argument Aristotle assert axioms called categorical syllogisms cats causal CHIGAN class calculus classical logic classical logicians conclusion construct contradictory deductive system definition enthymemes example expression F F F figure formal logic formalist formula girls Gödel's proof grampuses Hence Id.S Id.T implies q inductive inference invalid large number law of noncontradiction least logical machines main column major premise material equivalence mathematics means method MICHIGAN Mill's Mill's methods minor negation negative notation number of instances obverse Ɔ q paradox particular postulates predicate term principle probability propositional calculus prove PV q q is true question relation rule sorites statements subject term substitution superaltern Suppose syllogistic symbolic tautology theorem things tion tive truth functions truth table truth values undistributed UNIVERS universal valid variables Venn diagrams Τ Τ