Noțiuni teoretice
Predicate și cuantificatori
Operații logice elementare cu propoziții
Formule ale calculului propozițional
Principiul contrapoziției
Operații logice elementare cu predicate și mulțimi
Legile lui de Morgan pentru mulțimi
Reguli de negare a propozițiilor universale și existențiale
Condiții necesare. Condiții suficiente.
Metoda inducției matematice
Probleme de numărare
