http://dbpedia.org/ontology/abstract
|
У математичній логіці замкнений терм форма … У математичній логіці замкнений терм формальної системи є термом, який не містить жодної вільної змінної. Аналогічним чином, замкнена формула - це формула, яка не містить жодної вільної змінної. У логіці першого порядку формула є замкненою фомулою. Замкнений вираз - це замкнений терм, чи замкнена формула. - це замкнений терм, чи замкнена формула.
, In mathematical logic, a ground term of a … In mathematical logic, a ground term of a formal system is a term that does not contain any variables. Similarly, a ground formula is a formula that does not contain any variables. In first-order logic with identity, the sentence is a ground formula, with and being constant symbols. A ground expression is a ground term or ground formula.ession is a ground term or ground formula.
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://web.engr.oregonstate.edu/~afern/classes/cs532/notes/fo-ss.pdf +
|
http://dbpedia.org/ontology/wikiPageID
|
2011627
|
http://dbpedia.org/ontology/wikiPageLength
|
4531
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1117176094
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/First_order_logic +
, http://dbpedia.org/resource/First-order_language +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Term_%28logic%29 +
, http://dbpedia.org/resource/Signature_%28mathematical_logic%29 +
, http://dbpedia.org/resource/Well_formed_formula +
, http://dbpedia.org/resource/Predicate_symbol +
, http://dbpedia.org/resource/Formal_system +
, http://dbpedia.org/resource/Category:Mathematical_logic +
, http://dbpedia.org/resource/Herbrand_interpretation +
, http://dbpedia.org/resource/Sentence_%28mathematical_logic%29 +
, http://dbpedia.org/resource/Cambridge_University_Press +
, http://dbpedia.org/resource/Truth_value +
, http://dbpedia.org/resource/Category:Logical_expressions +
, http://dbpedia.org/resource/Atomic_formula +
, http://dbpedia.org/resource/Variable_%28mathematics%29 +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Herbrand_universe +
, http://dbpedia.org/resource/Herbrand_base +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Citation +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Annotated_link +
, http://dbpedia.org/resource/Template:Visible_anchor +
, http://dbpedia.org/resource/Template:Mathematical_logic +
, http://dbpedia.org/resource/Template:Reflist +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Mathematical_logic +
, http://dbpedia.org/resource/Category:Logical_expressions +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Ground_expression?oldid=1117176094&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Ground_expression +
|
owl:sameAs |
http://rdf.freebase.com/ns/m.06dy6h +
, https://global.dbpedia.org/id/3zHXc +
, http://dbpedia.org/resource/Ground_expression +
, http://uk.dbpedia.org/resource/%D0%97%D0%B0%D0%BC%D0%BA%D0%BD%D0%B5%D0%BD%D0%B8%D0%B9_%D0%B2%D0%B8%D1%80%D0%B0%D0%B7 +
, http://www.wikidata.org/entity/Q431411 +
, http://yago-knowledge.org/resource/Ground_expression +
, http://it.dbpedia.org/resource/Espressione_ground +
, http://hu.dbpedia.org/resource/Alapkifejez%C3%A9s +
, http://fa.dbpedia.org/resource/%D8%B9%D8%A8%D8%A7%D8%B1%D8%AA_%D8%B2%D9%85%DB%8C%D9%86%D9%87 +
|
rdf:type |
http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Countenance104679549 +
, http://dbpedia.org/class/yago/Attribute100024264 +
, http://dbpedia.org/class/yago/Quality104723816 +
, http://dbpedia.org/class/yago/Appearance104673965 +
, http://dbpedia.org/class/yago/Expression104679738 +
, http://dbpedia.org/class/yago/WikicatLogicalExpressions +
|
rdfs:comment |
У математичній логіці замкнений терм форма … У математичній логіці замкнений терм формальної системи є термом, який не містить жодної вільної змінної. Аналогічним чином, замкнена формула - це формула, яка не містить жодної вільної змінної. У логіці першого порядку формула є замкненою фомулою. Замкнений вираз - це замкнений терм, чи замкнена формула. - це замкнений терм, чи замкнена формула.
, In mathematical logic, a ground term of a … In mathematical logic, a ground term of a formal system is a term that does not contain any variables. Similarly, a ground formula is a formula that does not contain any variables. In first-order logic with identity, the sentence is a ground formula, with and being constant symbols. A ground expression is a ground term or ground formula.ession is a ground term or ground formula.
|
rdfs:label |
Замкнений вираз
, Ground expression
, Espressione ground
|