## An introduction to mathematical logic |

### What people are saying - Write a review

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

### Contents

Mathematics and Reality | 1 |

Sentential Variables Operators and Formulas | 10 |

Truth Tables The Sentential Calculus | 20 |

Copyright | |

11 other sections not shown

### Common terms and phrases

A C(x A P(y algebraic apply assert assumptions atomic statements Axiom Biconditional Substitution Biconditional Theorem binary operator brackets Chapter conditional constant contrapositives Deduction Theorem define definition Detachment dictionary disjunction element Eq Sub Equality Substitution equivalence relation EXERCISES F F F F T F false formal proof free occurrences free variables given identity element inference rule Inst integer inverse inverse element justification logically equivalent mathematical system mathematician meaning metatheorem Modus Tollens negation notation occurs free P A Q pair of statements postulates predicate variable provable Prove Theorem rational number real numbers RefEq Reflexivity of Equality replaced represent restriction Rule of Choice Rule of Instance sentential formula sentential operators sentential variables sequence statement formed substatements symbols Tau Inf tautology triangle truth table universal quantifiers universal theorem Va[a Vab[a Vx[x VxP(x Vxyz[x write x e a x e b zero