Formally introduce compound propositions: Learn how atomic propositions combine using logical connectives (∧, ∨, →, ↔, ¬) to form complex logical statements

Study logical inferences: Understand how conclusions can be systematically derived from given premises using formal reasoning methods

Master axioms and derivations: Familiarize students with the foundational concepts of formal logic systems and step-by-step proof construction

Apply inference rules: Learn and practice essential inference rules such as Modus Ponens, Modus Tollens, and Hypothetical Syllogism in practical problem-solving scenarios

Explore logical equivalence: Understand when different logical expressions represent the same truth conditions and how to verify equivalences using systematic methods

Develop formal reasoning skills: Build competency in constructing valid logical arguments and identifying fallacious reasoning patterns