Domknięcie uniwersalne formuł zdaniowych – operacja tworzenia zdania z formuły przez związanie zmiennych wolnych kwantyfikatorem ogólnym.
Niech będzie formułą w pewnym języku pierwszego rzędu. Domknięciem uniwersalnym formuły nazywamy zdanie określone następująco: Jeżeli jest zdaniem, to jest swoim własnym domknięciem uniwersalnym. Jeżeli jest funkcją zdaniową, której zmiennymi wolnymi są to domknięciem uniwersalnym jest zdanie
Kategoria:Logika matematyczna