What people are saying - Write a review
We haven't found any reviews in the usual places.
chapter one Statements
Conjunction Alternation and Denial 1 I
70 other sections not shown
Other editions - View all
abbreviation abstract alphabetic variants alternation analogue antecedent applied arithmetic atomic formulae axioms of membership axioms of quantification bears belongs biconditional binary bound closure conditional conjunction connective construed containing free occurrences convenient defined distinct dots element elementhood entities equivalent expression false fashion following metatheorem following theorem formal deduction free in f free variables Frege function Greek letters hence identity joint denial Jones logical formula logical truths materially equivalent mathematical induction mathematical logic matrix ments mode of composition mode of statement modus ponens mortal names natural number non-element notion occurrences of f pairs parentheses ponentials prefix primitive notation Proo Proof similar protosyntactical quasi-quotation quotation ratios real numbers relation result of putting sense sequence signed real simply Socrates sole member statement composition symbolically syntactical syntax tautologous forms theory tion true truth table truth value truth-functional components turn unit class y e Nn