Universal closure
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: 1.
* Jeżeli jest zdaniem, to jest swoim własnym domknięciem uniwersalnym. 2.
* Jeżeli jest funkcją zdaniową której zmiennymi wolnymi są to domknięciem uniwersalnym jest zdanie
primaryTopic
Universal closure
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: 1.
* Jeżeli jest zdaniem, to jest swoim własnym domknięciem uniwersalnym. 2.
* Jeżeli jest funkcją zdaniową której zmiennymi wolnymi są to domknięciem uniwersalnym jest zdanie
has abstract
Domknięcie uniwersalne formuł ...... ęciem uniwersalnym jest zdanie
@pl
Wikipage page ID
20,037,599
page length (characters) of wiki page
Wikipage redirect
Wikipage revision ID
955,253,573
Link from a Wikipage to another Wikipage
comment
Domknięcie uniwersalne formuł ...... ęciem uniwersalnym jest zdanie
@pl
label
Domknięcie uniwersalne
@pl
Universal closure
@en