What people are saying - Write a review
We haven't found any reviews in the usual places.
ALPHABETICAL LIST OF PROPOSITIONS REFERRED TO
PARTI MATHEMATICAL LOGIC
Summary of Part I
10 other sections not shown
ambiguity analogues apply asserted proposition asymmetrical relations axiom of reducibility called cardinal cardinal arithmetic class of classes commutative law concerned converse domain D'iJ defined definition denote descriptive function disjunction dots elementary function elementary propositions exists extensional function fact false falsehood first-order functions following propositions formally equivalent given Hence hypothesis i'x u i'y identical ijrx implies q individuals inference logical matrix mathematical induction mathematical logic mathematics matrix meaning negation notation object occurs ordinal couples ordinal number possible arguments predicative function premisses present number primitive ideas primitive propositions principle Prop This proposition properties propositional function proved real variable satisfies scope second-order significant Similar proof Similarly Socrates Syll Transp true truth truth-functions truth-value unit classes vicious-circle Waverley