59 pages matching free variables in this book
Results 1-3 of 59
What people are saying - Write a review
We haven't found any reviews in the usual places.
INTRODUCTION 1 Logic and language
Different levels of language
67 other sections not shown
A. N. Whitehead 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 equisignificance example existence existential operators false follows free variables func function-name given higher calculus holds implicans indicate instance interpretation introduced kind left-hand side letters major operation meaning ment metalanguage metatheorem modalities negation line nomological statements notation object language operand Peter possible predicate premises proof of consistency propositional expression propositional function propositional operations propositional variables reference regarded relation represents right-hand side rule for free rule of inference rule of substitution schema sentence simple calculus speak square of opposition synthetic formulas T-cases tautology theorem things tion token transformed transition true formulas truth tables truth-values two-place function usage whereas word