Elements of Symbolic Logic |
Contents
Logic and language | 1 |
Language | 4 |
Different levels of language | 9 |
Copyright | |
67 other sections not shown
Other editions - View all
Common terms and phrases
adjunctive implication all-operators all-statement analysis apply argument variables asserted bound variable calculus of functions calculus of propositions called combination conception connective implication connective operations constructed contradiction conversational language corresponding defined definition denotative derivation disjunction disjunctive normal form elementary propositions equisignificance example existence existential operators false follows formula free variables func function f(x given higher calculus holds implicans instance interpretation introduced kind left-hand side meaning ment metalanguage metatheorem modalities negation line nomological statements notation object language operand ɔ g(x Peter possible predicate premises proof of consistency propositional expression propositional function propositional operations propositional variables reference regarded relation represents result right-hand side rule for free rule of inference rule of substitution schema sentence simple calculus square of opposition synthetic formulas T-cases tautology theorem things tion token transformed transition truth tables truth-values two-place function usage word