## Introduction to LOGIC |

### What people are saying - Write a review

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

### Contents

THE SENTENTIAL CONNECTIVES | 3 |

SENTENTIAL THEORY OF INFERENCE | 20 |

SYMBOLIZING EVERYDAY LANGUAGE | 43 |

Copyright | |

12 other sections not shown

### Common terms and phrases

algebra ambiguous names apply argument arithmetic assertion atomic sentences axiomatic axioms binary operation binary relation Chapter conclusion conditional proof consider corresponding defined definiens derived rule discussed domain of individuals elementary empty set entities example EXERCISES existential quantifier fallacious false formal derivation formula free variables function given hypothesis identity element implication individual constants informal proof instance introduced intuitive inverse isomorphic logically equivalent mathematics method negation non-empty notation obtain occurrence operation symbols ordered couples particle mechanics positive integers primitive notions primitive symbols principle probability space problem properties prove quasi-orderings real numbers relation symbol replace restriction rules of inference satisfied sentential connectives sentential interpretation set of premises set theory set-theoretical statement strict partial ordering subset substitute tautologically tautologically equivalent tautologically implies theorem of logic tion transitive translated true truth table universal quantifiers valid vector x)Fx