## A first course in formal logic and its applications in computer science |

### What people are saying - Write a review

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

### Contents

Propositional Calculus | 1 |

Logic and Digital Electronic Circuits | 38 |

Predicate Calculus | 88 |

Copyright | |

5 other sections not shown

### Common terms and phrases

algorithm apply argument arithmetic axioms basic propositions binary connectives binsearch called Chapter circuit clock signal combinatorial logic consider constant constructed contains corresponding database deduce defined definition elements empty clause evaluated example F F F F T F failure node false finite formal theory formula full adder function symbols gates given Hence Herbrand Herbrand base holds Horn clause hypotheses implement induction input integer interpretation Karnaugh map literal logic programming logically equivalent loop natural numbers negation notation obtain operands output partial verification Pascal possible predicate calculus predicate language procedure programming language PROLOG proof rule propositional calculus prove Quicksort recursive represent resolution resolvent result satisfy semantic tree sequential logic set of clauses shown in Fig specification statement strategy structure subformula substitution tautology techniques Theorem true truth function truth table truth values truth-functional unary valid valuation verify