This cluster introduces propositional and first-order logic with explicit syntax and semantics. Entry Points Curriculum Glossary Skills