## Elements of symbolic logic |

### From inside the book

51 pages matching **propositional function** in this book

Where's the rest of this book?

Results 1-3 of 51

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

INTRODUCTION 1 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

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