предикат
Sign in to saveпропозициональная функция в логике высказываний
Wikidata facts
- Subclass of
- relation
Show 3 more facts
- facet of
- mathematical logic
- different from
- mathematical property
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
Article · Русский
Предика́т (лат. praedicatum «заявленное, упомянутое, сказанное») — это утверждение, высказанное о субъекте. Субъектом высказывания называется то, о чём делается утверждение. Предикат в программировании — выражение, использующее одну или более с результатом логического типа. Далее в этой статье слово предикат используется в значении высказывательной формы.
Abstract from DBpedia / Wikipedia · CC BY-SA