| dbo:abstract
|
- في المنطق الرياضي، المسند من الدرجة الأولى هو المسند الذي يأخذ فقط ثوابت فردية أو متغيرات كوسطاء. اقرأ عن المسند من الدرجة الثانية والمسند ذو الترتيب الأعلى. ولا يصح الخلط بين المسند من الدرجة الأولى وبين المسند ذو المكان الواحد أو الموناد، وهو المسند الذي يأخذ حجة واحدة فقط. على سبيل المثال، فإن تعبير «هو كوكب» هو مسند من مكان واحد، بينما التعبير «أب لـ» هو مسند من مكانين. (ar)
- In mathematical logic, a first-order predicate is a predicate that takes only individual(s) constants or variables as argument(s). Compare second-order predicate and higher-order predicate. This is not to be confused with a one-place predicate or monad, which is a predicate that takes only one argument. For example, the expression "is a planet" is a one-place predicate, while the expression "is father of" is a two-place predicate. (en)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 935 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- في المنطق الرياضي، المسند من الدرجة الأولى هو المسند الذي يأخذ فقط ثوابت فردية أو متغيرات كوسطاء. اقرأ عن المسند من الدرجة الثانية والمسند ذو الترتيب الأعلى. ولا يصح الخلط بين المسند من الدرجة الأولى وبين المسند ذو المكان الواحد أو الموناد، وهو المسند الذي يأخذ حجة واحدة فقط. على سبيل المثال، فإن تعبير «هو كوكب» هو مسند من مكان واحد، بينما التعبير «أب لـ» هو مسند من مكانين. (ar)
- In mathematical logic, a first-order predicate is a predicate that takes only individual(s) constants or variables as argument(s). Compare second-order predicate and higher-order predicate. This is not to be confused with a one-place predicate or monad, which is a predicate that takes only one argument. For example, the expression "is a planet" is a one-place predicate, while the expression "is father of" is a two-place predicate. (en)
|
| rdfs:label
|
- المسند من الدرجة الأولى (ar)
- First-order predicate (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
