A Handbook of LogicHarper, 1961 - 250 עמודים |
מתוך הספר
תוצאות 1-3 מתוך 25
עמוד 130
... Principle of Tautology ( Taut . ) If either por p , then p . If either kangaroos are good - tempered or kangaroos are good - tempered , then kangaroos are good - tempered . > 2. g ( p V q ) If 9 , then por q . The Principle of Addition ...
... Principle of Tautology ( Taut . ) If either por p , then p . If either kangaroos are good - tempered or kangaroos are good - tempered , then kangaroos are good - tempered . > 2. g ( p V q ) If 9 , then por q . The Principle of Addition ...
עמוד 162
... principle of noncontradiction , we will talk nonsense . " It used to be said , " says Wittgenstein , " that God could create everything except what was contrary to the laws of logic . The truth is , we could not say of an ' unlogical ...
... principle of noncontradiction , we will talk nonsense . " It used to be said , " says Wittgenstein , " that God could create everything except what was contrary to the laws of logic . The truth is , we could not say of an ' unlogical ...
עמוד 204
... principle present to our minds , even though it still eludes the peering eyes of philosophy . " 12 Peer as we will , philosophers or no , it is unlikely that we shall ever find this obscure principle which like a logical St. George will ...
... principle present to our minds , even though it still eludes the peering eyes of philosophy . " 12 Peer as we will , philosophers or no , it is unlikely that we shall ever find this obscure principle which like a logical St. George will ...
תוכן
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 Τ Τ