LÓGICA LIBRE: 🔎 👥

(del inglés Free logic) es un sistema lógico sin presupuestos existenciales. Esto es, sus teoremas son válidos en todos los dominios, incluyendo el dominio vacío.

Fue propuesta por primera vez en la década del cincuenta. Karel Lambert, uno de sus fundadores, fue quien acuñó el término. De acuerdo con Lambert, la expresión "lógica libre" es una abreviación de "libre de suposiciones de existencia con respecto a sus términos, generales o singulares".
(Wikipedia).

CUANTIFICADOR: 🔎

expresión que liga variables. "(∃...)", el cuantificador existencial, "(∀..."), el cuantificador universal.
(Haack, 1978).

En lógica formal, un cuantificador es una expresión que indica la cantidad de veces que un predicado o propiedad P se satisface dentro de una determinada clase (por ejemplo, pertenencia, equivalencia u orden).

Existen muchos tipos de cuantificadores, entre los más utilizados están:
Cuantificador universal:
∀ x, y...
Para todo x, y...
Cuantificador existencial:
∃ x, y...
Existe al menos un x, y...
Cuantificador existencial único:
∃! x, y...
Existe exactamente un x, y...
Negación del cuantificador existencial:
∄ x, y...
No existe ningún x, y...
(Wikipedia).