Oznaczenia zbiorów: - ℕ - liczby naturalne - ℤ - liczby całkowite - ℝ - liczby rzeczywiste - ℚ - liczby wymierne - ℂ - liczby zespolone $\land$ - Koniunkcja - AND $\lor$ - Alternatywa - OR $\Rightarrow$ - $\lnot p \lor q$ -  $\Leftrightarrow$ - Równoważność - XAND ## Funkcja zdaniowa 𝜙(x) wyrażenie ze zmienną x z ∀ - kwantyfikator ogólny - All - forall ∀x :∈ D 𝜙(x) ∃ - kwantyfikator szczegółowy - Exists $\Re$ - realis $\Im$ - imaginaris płaszczyzna gaussa p  zbiór jest ograniczony z góry jeżeli 3i - liczba czysto urojona $|z| = \sqrt{x^2 + y^2}$