Skip to content
EntityQ1144319· pop 27· linked from 473 articles

предикат

Sign in to save

пропозициональная функция в логике высказываний

Article · Русский

Предика́т (лат. praedicatum «заявленное, упомянутое, сказанное») — это утверждение, высказанное о субъекте. Субъектом высказывания называется то, о чём делается утверждение. Предикат в программировании — выражение, использующее одну или более с результатом логического типа. Далее в этой статье слово предикат используется в значении высказывательной формы.

Abstract from DBpedia / Wikipedia · CC BY-SA