علوم الحاسوب, فلسفة, معرفة, منطق

مسند الصدق (Truth Predicate)