A Handbook of LogicHarper, 1961 - 250 עמודים |
מתוך הספר
תוצאות 1-3 מתוך 7
עמוד 36
... converse . Convertend A. All great men are bad writers . E. No dodoes are great auks . I. Some blondes have blue eyes . Converse Some bad writers are great men . No great auks are dodoes . Some that have blue eyes are blondes ...
... converse . Convertend A. All great men are bad writers . E. No dodoes are great auks . I. Some blondes have blue eyes . Converse Some bad writers are great men . No great auks are dodoes . Some that have blue eyes are blondes ...
עמוד 37
... converse from an undis- tributed term in the convertend . To make a rule of it : From a proposition in which a term ... converse is undistributed while the subject term of the convertend is distributed . For the predicate of the A ...
... converse from an undis- tributed term in the convertend . To make a rule of it : From a proposition in which a term ... converse is undistributed while the subject term of the convertend is distributed . For the predicate of the A ...
עמוד 39
... converse . That is , we vert the original proposition , then we obvert it . Original galagos are pessimists . nembers of the library mittee are members of social committee . e artists are bohe- s . Obverted Converse Some pessimists are ...
... converse . That is , we vert the original proposition , then we obvert it . Original galagos are pessimists . nembers of the library mittee are members of social committee . e artists are bohe- s . Obverted Converse Some pessimists are ...
תוכן
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 Τ Τ