</>DevThesis
HomeCurriculumLogic

Logic

Master Logic from core theoretical foundations to practical industry applications.

1Module 1: Introduction to Formal Logic

Core modules and technical concepts for Logic.

Topic 1.1: Propositional Logic

Foundational and applied principles of Propositional Logic.

Logical Connectives and Truth Tables

Comprehensive technical guide and practical walkthrough of Logical Connectives and Truth Tables.

Tautologies, Contradictions, and Logical Equivalence

Comprehensive technical guide and practical walkthrough of Tautologies, Contradictions, and Logical Equivalence.

Topic 1.2: Predicate Logic

Foundational and applied principles of Predicate Logic.

Quantifiers (Universal and Existential)

Comprehensive technical guide and practical walkthrough of Quantifiers (Universal and Existential).

Rules of Inference and Formal Proofs

Comprehensive technical guide and practical walkthrough of Rules of Inference and Formal Proofs.