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.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - المسند من الدرجة الأولى (ar)
- First-order predicate (en)
|
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)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has 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)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is Wikipage disambiguates
of | |
is foaf:primaryTopic
of | |