Lecture Notes for Mathematical logic
Loading...
Date
2024-11-05
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Mohamed Boudiaf University of M'sila
Abstract
The printed material covers lectures and exercises related to
topics outlined by the relevant ministry, featuring detailed and
in-depth explanations. It includes explanations of logical
vocabulary, types of proofs, and theories of sets. Propositional
Calculus, Predicate Calculus.
Description
Keywords
Proof Methods, Syntax of Propositional Formulas and the Interpretation of a Logical Formula, Semantics, Tautologies and logical equivalences, Theory and terms, First order logic