Saadaoui, Kheir2025-01-082025-01-082024-11-05https://dspace.univ-msila.dz/handle/123456789/45490The 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.enProof MethodsSyntax of Propositional Formulas and the Interpretation of a Logical FormulaSemanticsTautologies and logical equivalencesTheory and termsFirst order logicPreprint