Les connecteurs logiques usuels sont : non, et, ou, ⇒ et ⇔.
Ils permettent de créer, à partir d'une (ou deux) proposition(s), un nouvelle proposition dont la valeur de vérité dépend des valeurs de vérité de la (ou des) propostion(s) la constituant.
« Terme » désigne chacun des éléments intervenant dans un rapport, une addition, une soustraction, une suite, une proportion ou une fraction.
Par exemple : Admettons la suite 1, 2, 3, 4.
Les 4 chiffres sont des termes.
Dans le rapport 4/5, 4 et 5 sont aussi des termes.
On dénote par ∅ l'ensemble vide, celui composé d'aucun élément.
Le symbole ∈ indique qu'un élément appartient à un ensemble. À l'inverse, le symbole ∉ identifie un élément qui n'appartient pas à un ensemble.
L'ensemble est dit un sous-ensemble de si et seulement si tous les éléments de sont aussi des éléments de .