Semantics: The study of meaning in language, including the meanings of words, phrases, and sentences. Syntax: The set of rules that governs the structure of sentences in a language, including word ...

The first part introduces the syntax and semantics of propositional and predicate logics, natural deduction, and notions such as soundness, completeness and (un)decidability. The second part covers ...