Logical statements and connectives.
Negations, quantifiers, truth tables.
Proofs: explanation and exercises.