## An Introduction to Deductive Logic |

### What people are saying - Write a review

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

### Contents

Semiotic and logic | 1 |

Object languages versus metalanguages | 2 |

The three dimensions of semiotic | 3 |

Copyright | |

47 other sections not shown

### Other editions - View all

### Common terms and phrases

abbreviation antecedent argument letter assigned assumption formulae axioms biconditional Boolean algebra called chapter class formula components conclusion conjunction contains free occurrences D G(x D N(x defined definition denial derivation entities example F F F F T F free argument variable g v p v r given hence identity calculus instance intuitionist logic Italy is south John is sick logically equivalent logically false logically implies logically true metaaxioms metalanguage metalogical metatheorems monadic obtain ordinal couple p v g p v q place-holder predicate dummy primitive signs proof provable Prove quantifica quantificational calculus quantificational schema quasi-statements recorded schema relation relettering rule of Detachment rules of deduction semantical sentential calculus sentential deduction sentential dummy sentential logic sentential schemata sententially true sequence Skolem normal form step substitution variable tautology theorem theorem of version Trenton is south truth-table truth-values universal quantifiers universe of discourse well-formed formula