This HTML5 document contains 73 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n17https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-plhttp://pl.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Propositional_calculus
dbo:wikiPageWikiLink
dbr:Zeroth-order_logic
Subject Item
dbr:Decidability_(logic)
dbo:wikiPageWikiLink
dbr:Zeroth-order_logic
Subject Item
dbr:Index_of_philosophy_articles_(R–Z)
dbo:wikiPageWikiLink
dbr:Zeroth-order_logic
Subject Item
dbr:0O
dbo:wikiPageWikiLink
dbr:Zeroth-order_logic
Subject Item
dbr:Order_(mathematics)
dbo:wikiPageWikiLink
dbr:Zeroth-order_logic
Subject Item
dbr:Glossary_of_artificial_intelligence
dbo:wikiPageWikiLink
dbr:Zeroth-order_logic
Subject Item
dbr:Higher-order_logic
dbo:wikiPageWikiLink
dbr:Zeroth-order_logic
Subject Item
dbr:Zero_order
dbo:wikiPageWikiLink
dbr:Zeroth-order_logic
Subject Item
dbr:Zeroth-order
dbo:wikiPageWikiLink
dbr:Zeroth-order_logic
dbo:wikiPageDisambiguates
dbr:Zeroth-order_logic
Subject Item
dbr:Zeroth-order_logic
rdf:type
yago:Know-how105616786 yago:System105661996 yago:PsychologicalFeature100023100 yago:Method105660268 yago:Ability105616246 yago:WikicatSystemsOfFormalLogic yago:Logic105664069 yago:Cognition100023271 yago:Abstraction100002137
rdfs:label
Logica di ordine zero 零阶逻辑 Zeroth-order logic منطق الترتيب الصفري Klasyczny rachunek zdań
rdfs:comment
Klasyczny rachunek zdań – najpopularniejszy system formalny logiki matematycznej, w którym formuły reprezentujące zdania logiczne mogą być tworzone z formuł atomowych za pomocą wymienionego niżej zbioru aksjomatów. Zeroth-order logic is first-order logic without variables or quantifiers. Some authors use the phrase "zeroth-order logic" as a synonym for the propositional calculus, but an alternative definition extends propositional logic by adding constants, operations, and relations on non-Boolean values. Every zeroth-order language in this broader sense is complete and compact. 零阶逻辑是在与布尔函数、一元谓词演算、命题逻辑或句子逻辑有关主题的从业人员中流行的术语。使用这个术语的好处是它确立了更高的抽象层次，在其中上述这些主题之间的很无关紧要的区别可以在这个中肯的同构下被包容。 向着最初的方向，表1列出了具体类型X × Y → B和抽象类型 B × B → B的十六个函数在零阶逻辑的不同语言中的等价表达。 منطق الترتيب الصفري (بالإنجليزية: Zeroth-order logic)‏ هو منطق من الدرجة الأولى بدون متغيرات أو محددات كمية. يستخدم بعض المؤلفين عبارة منطق الترتيب الصفري باعتباره مرادفاً لحساب التفاضل والتكامل الافتراضيين، ولكن التعريف البديل يوسع منطق الافتراض عن طريق إضافة الثوابت والعمليات والعلاقات على القيم غير المنطقية. كل لغة ذات ترتيب صفري بهذا المعنى الأوسع تكون ومضغوطة.
dcterms:subject
dbc:Systems_of_formal_logic dbc:Propositional_calculus
dbo:wikiPageID
14677737
dbo:wikiPageRevisionID
997466944
dbo:wikiPageWikiLink
dbr:First-order_logic dbr:Variable_(mathematics) dbc:Systems_of_formal_logic dbr:Completeness_(logic) dbr:Quantifier_(logic) dbr:Compactness_theorem dbc:Propositional_calculus dbr:Propositional_calculus
owl:sameAs
dbpedia-ar:منطق_الترتيب_الصفري dbpedia-zh:零阶逻辑 wikidata:Q8069651 n17:4xZo9 dbpedia-it:Logica_di_ordine_zero freebase:m.04m3r yago-res:Zeroth-order_logic freebase:m.09x6yj dbpedia-pl:Klasyczny_rachunek_zdań
dbp:wikiPageUsesTemplate
dbt:Portal_bar dbt:Logic dbt:Short_description dbt:Reflist
dbo:abstract
零阶逻辑是在与布尔函数、一元谓词演算、命题逻辑或句子逻辑有关主题的从业人员中流行的术语。使用这个术语的好处是它确立了更高的抽象层次，在其中上述这些主题之间的很无关紧要的区别可以在这个中肯的同构下被包容。 向着最初的方向，表1列出了具体类型X × Y → B和抽象类型 B × B → B的十六个函数在零阶逻辑的不同语言中的等价表达。 Zeroth-order logic is first-order logic without variables or quantifiers. Some authors use the phrase "zeroth-order logic" as a synonym for the propositional calculus, but an alternative definition extends propositional logic by adding constants, operations, and relations on non-Boolean values. Every zeroth-order language in this broader sense is complete and compact. Klasyczny rachunek zdań – najpopularniejszy system formalny logiki matematycznej, w którym formuły reprezentujące zdania logiczne mogą być tworzone z formuł atomowych za pomocą wymienionego niżej zbioru aksjomatów. منطق الترتيب الصفري (بالإنجليزية: Zeroth-order logic)‏ هو منطق من الدرجة الأولى بدون متغيرات أو محددات كمية. يستخدم بعض المؤلفين عبارة منطق الترتيب الصفري باعتباره مرادفاً لحساب التفاضل والتكامل الافتراضيين، ولكن التعريف البديل يوسع منطق الافتراض عن طريق إضافة الثوابت والعمليات والعلاقات على القيم غير المنطقية. كل لغة ذات ترتيب صفري بهذا المعنى الأوسع تكون ومضغوطة.
gold:hypernym
dbr:Logic
prov:wasDerivedFrom
wikipedia-en:Zeroth-order_logic?oldid=997466944&ns=0
dbo:wikiPageLength
1556
foaf:isPrimaryTopicOf
wikipedia-en:Zeroth-order_logic
Subject Item
dbr:Wason_selection_task
dbo:wikiPageWikiLink
dbr:Zeroth-order_logic
Subject Item
dbr:Propositional_variable
dbo:wikiPageWikiLink
dbr:Zeroth-order_logic
Subject Item
dbr:Outline_of_logic
dbo:wikiPageWikiLink
dbr:Zeroth-order_logic
Subject Item
dbr:0th-order_logic
dbo:wikiPageWikiLink
dbr:Zeroth-order_logic
dbo:wikiPageRedirects
dbr:Zeroth-order_logic
Subject Item
dbr:Zero_order_logic
dbo:wikiPageWikiLink
dbr:Zeroth-order_logic
dbo:wikiPageRedirects
dbr:Zeroth-order_logic
Subject Item
dbr:Zeroth_Order_Logic
dbo:wikiPageWikiLink
dbr:Zeroth-order_logic
dbo:wikiPageRedirects
dbr:Zeroth-order_logic
Subject Item
dbr:Zeroth_order_logic
dbo:wikiPageWikiLink
dbr:Zeroth-order_logic
dbo:wikiPageRedirects
dbr:Zeroth-order_logic
Subject Item
wikipedia-en:Zeroth-order_logic
foaf:primaryTopic
dbr:Zeroth-order_logic