## A Logical Approach to Discrete Math |

### What people are saying - Write a review

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

### Contents

Using Mathematics | 1 |

Textual Substitution Equality and Assignment | 7 |

Boolean Expressions | 25 |

Copyright | |

20 other sections not shown

### Other editions - View all

### Common terms and phrases

algorithm antecedent Arithmetic assignment Axiom binary operator boolean algebra boolean expression called circuit closed-form solution conjunct Consider construct contains defined denote Distributivity dummy edges English equal equational equivalent example Exercises existential quantification false finite following theorem formal formula graph Hence Hint Historical note holds Idempotency identity inductive definition inductive hypothesis inference rules infinite integers invariant inverse isomorphic iteration Leibniz logic loop manipulation mathematical induction mathematics Metatheorem minimal element monoid multiple mutual implication natural numbers nonempty notation one-to-one pair path permutations pigeonhole principle planar graph positive integers postcondition predicate predicate logic proof properties propositional calculus propositional logic prove the following Prove theorem quantification real numbers reflexive relation replaced satisfies sequence set comprehension spanning tree statement subset Symmetry textual substitution theory Transitivity true truth table universal quantification valid variables vertex vertices zero