предикат
Sign in to saveпропозициональная функция в логике высказываний
Article · Русский
Предика́т (лат. praedicatum «заявленное, упомянутое, сказанное») — это утверждение, высказанное о субъекте. Субъектом высказывания называется то, о чём делается утверждение. Предикат в программировании — выражение, использующее одну или более с результатом логического типа. Далее в этой статье слово предикат используется в значении высказывательной формы.
Abstract from DBpedia / Wikipedia · CC BY-SA