Propositional Logic & Introduction – Lecture 1 (Discrete Math)

What does the course identify as the central skill of mathematics?

1. A.Memorizing definitions and standard formulas
2. B.Constructing proofs from a system's axioms
3. C.Computing answers to numerical problems quickly
4. D.Translating English sentences into symbolic notation