| dbo:abstract
|
- منطق الترتيب الصفري (بالإنجليزية: Zeroth-order logic) هو منطق من الدرجة الأولى بدون متغيرات أو محددات كمية. يستخدم بعض المؤلفين عبارة منطق الترتيب الصفري باعتباره مرادفاً لحساب التفاضل والتكامل الافتراضيين، ولكن التعريف البديل يوسع منطق الافتراض عن طريق إضافة الثوابت والعمليات والعلاقات على القيم غير المنطقية. كل لغة ذات ترتيب صفري بهذا المعنى الأوسع تكون ومضغوطة. (ar)
- 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. (en)
- 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. (pl)
- 零阶逻辑是在与布尔函数、一元谓词演算、命题逻辑或句子逻辑有关主题的从业人员中流行的术语。使用这个术语的好处是它确立了更高的抽象层次，在其中上述这些主题之间的很无关紧要的区别可以在这个中肯的同构下被包容。 向着最初的方向，表1列出了具体类型X × Y → B和抽象类型 B × B → B的十六个函数在零阶逻辑的不同语言中的等价表达。 (zh)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1556 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- منطق الترتيب الصفري (بالإنجليزية: Zeroth-order logic) هو منطق من الدرجة الأولى بدون متغيرات أو محددات كمية. يستخدم بعض المؤلفين عبارة منطق الترتيب الصفري باعتباره مرادفاً لحساب التفاضل والتكامل الافتراضيين، ولكن التعريف البديل يوسع منطق الافتراض عن طريق إضافة الثوابت والعمليات والعلاقات على القيم غير المنطقية. كل لغة ذات ترتيب صفري بهذا المعنى الأوسع تكون ومضغوطة. (ar)
- 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. (en)
- 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. (pl)
- 零阶逻辑是在与布尔函数、一元谓词演算、命题逻辑或句子逻辑有关主题的从业人员中流行的术语。使用这个术语的好处是它确立了更高的抽象层次，在其中上述这些主题之间的很无关紧要的区别可以在这个中肯的同构下被包容。 向着最初的方向，表1列出了具体类型X × Y → B和抽象类型 B × B → B的十六个函数在零阶逻辑的不同语言中的等价表达。 (zh)
|
| rdfs:label
|
- منطق الترتيب الصفري (ar)
- Logica di ordine zero (it)
- Klasyczny rachunek zdań (pl)
- Zeroth-order logic (en)
- 零阶逻辑 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
