Mathematical Logic & Predicates - Unit 1
Mathematical Foundation Unit-1 - Mathematical Logic & Predicates Propositional Logic Syntax - Truth Tables - CNF and DNF Normal Forms – Predicate Calculus - Universal & Existential Quantifiers - Rules of Inference – Mathematical Induction - Well-Formed Formulas for Automated Proving. 1. Propositional Logic — Syntax & Connectives 1.1 What is Logic? • Logic is the study of correct reasoning. • It separates valid from invalid arguments • It uses clear rules instead of vague words. Key applications in computer science: • Design of computer circuits • Construction and verification of computer programs • Artificial intelligence and knowledge representation • Database query languages 1.2 Propositions ...