| http://dbpedia.org/ontology/abstract
|
In logica matematica e più in particolare … In logica matematica e più in particolare in una teoria del primo ordine si chiama chiusura universale di una formula ben formata in cui sono variabili libere, la formula ottenuta premettendo un quantificatore universale su ogni variabile libera. Ad esempio la chiusura universale della formula è data dalla formula ma la situazione può essere molto più complessa, ad esempio la chiusura universale di che ha solamente come variabile libera, è data da La chiusura universale trasforma una formula aperta in una formula chiusa. una formula aperta in una formula chiusa.
, Domknięcie uniwersalne formuł zdaniowych – … 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 zdaniesą to domknięciem uniwersalnym jest zdanie
|
| http://dbpedia.org/ontology/wikiPageID
|
20037599
|
| http://dbpedia.org/ontology/wikiPageLength
|
56
|
| http://dbpedia.org/ontology/wikiPageRedirects
|
http://dbpedia.org/resource/Universal_quantification +
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1117174905
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Universal_quantification +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Universal_closure?oldid=1117174905&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Universal_closure +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q9209930 +
, http://pl.dbpedia.org/resource/Domkni%C4%99cie_uniwersalne +
, http://dbpedia.org/resource/Universal_closure +
, https://global.dbpedia.org/id/54mb5 +
, http://it.dbpedia.org/resource/Chiusura_universale +
|
| rdfs:comment |
Domknięcie uniwersalne formuł zdaniowych – … 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 zdaniesą to domknięciem uniwersalnym jest zdanie
, In logica matematica e più in particolare … In logica matematica e più in particolare in una teoria del primo ordine si chiama chiusura universale di una formula ben formata in cui sono variabili libere, la formula ottenuta premettendo un quantificatore universale su ogni variabile libera. Ad esempio la chiusura universale della formula è data dalla formula ma la situazione può essere molto più complessa, ad esempio la chiusura universale di che ha solamente come variabile libera, è data da La chiusura universale trasforma una formula aperta in una formula chiusa. una formula aperta in una formula chiusa.
|
| rdfs:label |
Domknięcie uniwersalne
, Universal closure
, Chiusura universale
|
