What people are saying - Write a review
We haven't found any reviews in the usual places.
THE SENTENTIAL CONNECTIVES
SENTENTIAL THEORY OF INFERENCE
SYMBOLIZING EVERYDAY LANGUAGE
12 other sections not shown
algebra ambiguous names apply argument arithmetic assertion atomic sentences axiomatic axioms binary operation binary relation Chapter conclusion conditional proof consider corresponding defined definiens derived rule discussed domain of individuals elementary empty set entities example EXERCISES existential quantifier fallacious false formal derivation formula free variables function given hypothesis identity element implication individual constants informal proof instance introduced intuitive inverse isomorphic logically equivalent mathematics method negation non-empty notation obtain occurrence operation symbols ordered couples particle mechanics positive integers primitive notions primitive symbols principle probability space problem properties prove quasi-orderings real numbers relation symbol replace restriction rules of inference satisfied sentential connectives sentential interpretation set of premises set theory set-theoretical statement strict partial ordering subset substitute tautologically tautologically equivalent tautologically implies theorem of logic tion transitive translated true truth table universal quantifiers valid vector x)Fx