## Modern logic: an introduction |

### What people are saying - Write a review

#### LibraryThing Review

User Review - AlexTheHunn - LibraryThingA good no-frills handbook of logic and methods of reasoning and deduction. Read full review

### Contents

Sets and Syllogisms | 17 |

Truth Table Logic | 59 |

Derivation of Deductive Systems | 116 |

Copyright | |

5 other sections not shown

### Common terms and phrases

A U B Affirmative antecedent appear argument assumptions axiomatic basic categorical syllogism circuit characteristic Class Calculus clauses column conclusion conditional proof Conjunctive Normal Form consider Deductive Reasoning deductive system definition developed Disjunction Disjunctive Normal Form elements Equivalence example Existential Quantifier experience expression F F F F F T T F F T F false formula geometry give indicate integer Intersection introduced intuitive invalid letters Logical Deduction Major Implication mathematics meaning meaningful minor premise modern logic Modus Ponens Negation notation ordinary language parallel particular postulates probability problem procedure Propositional Calculus reasoning refer rigorous rules sentence sentential connectives Simp specific statement Step student substitution Switching Algebra syllogistic symbols system of logic Table Value Tautology tells Theorem things tion traditional logic true Truth Table truth value Universal Quantifier Universal Set valid syllogism variables Venn Diagram wherein word