Matemáticas/Generalidades/Símbolos Matemáticos/Lógica de predicados

Lógica de predicados

Símbolo	Nombre	se lee como	Categoría
$\mathrm{\forall }$	cuantificador universal	para todos; para cualquier; para cada	lógica de predicados
	∀ x : P(x) significa: P(x) es verdadera para cualquier x
	∀ n ∈ N: n² ≥ n
$\mathrm{\exists }$	cuantificador existencial	existe por lo menos un/os	lógica de predicados
	∃ x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
	∃ n ∈ N: n + 5 = 2n
$\mathrm{\exists }!$	cuantificador existencial con marca de unicidad	existe un/os único/s	lógica de predicados
	∃!  x : P(x) significa: existe un único x tal que P(x) es verdadera.
	∃!  n ∈ N: n + 1 = 2
$:$ $/$	reluz	tal que	lógica de predicados
	∃ x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
	∃ n ∈ N: n + 5 = 2n