
M. A. Eldosuky Mathematical Logic
This book is organized into 4 chapters. Chapter 1 shows why we have to use Mathematical Logic (ML), and differentiates deductive and inductive reasoning. It also introduces arguments. Chapter 2 shows what Propositional logic is . It also discusses Truth Tables, tautologies, and validity. It also shows definability of PL' and PL'' special languages. Finally, it reviews logic gates.
Chapter 3 shows the relation between logic and knowledge. It discusses a deduction system containing Rules of Inference and Replacement. It shows proofs based on Tautology. Finally, it gives a case study called Wumpus World. Chapter 4 introduces predicate calculus. Then it shows knowledge representation and inference in Firstorder predicate logic (FOL). Finally, it introduces logic programming and PROLOG.
Handling uncertainty using probability, Bayesian Networks (BN) and Fuzzy logic (FL) is out of the scope of this book, and may be presented in a yettocome second part.
Science is communicable knowledge. Theories must to be expressed in a language. However, language is naturally ambiguous, so to achieve precision, we have to use Mathematical Logic (ML). MLs are formal languages for representing information such that conclusions can be drawn. It is a Formal System comprising both Syntax and Semantics
M. A. Eldosuky Mathematical Logic
M. A. Eldosuky Mathematical Logic
Science is communicable knowledge. Theories must to be expressed in a language. However, language is naturally ambiguous, so to achieve precision, we have to use Mathematical Logic (ML). MLs are formal languages for representing information such that conclusions can be drawn. It is a Formal System comprising both Syntax and Semantics