About this document
Introduction to Mathematical Logic by Imthiaz Hussain is a document available to read on EtoBox.
This document provides an introduction to mathematical logic and predicate calculus. It discusses how logic uses symbolic language to precisely express principles and definitions. Predicate calculus generalizes propositional calculus and is important for computer science as it provides the logical foundation for logic programming languages like Prolog. The document then covers statement calculus and truth tables for evaluating compound statements formed by connecting atomic statements with logical connectiv
- Author
- Imthiaz Hussain
- Language
- EN