При построении языка логики... «Логика. Учебник»
Egoriy_Berezinykh17 июня 2022При построении языка логики предикатов будем понимать свойства как общие имена предметов, а n-местные отношения - как общие имена n-ок предметов. Общие имена в таком расширительном толковании будем называть предикаторами.
Знаки предметных функций, или функциональные знаки, или предметные функторы, представляют предметные функции.
Функцией называется соответствие, в силу которого объекты (предмет, пара, тройка предметов и т. д.) из некоторого множества, называемого областью определения функции, соотносятся с объектами из другого или того же самого множества, называемыми значениями функции.
Предметной называется функция, значениями которой являются предметы. Примеры предметных функций: sin, log, +, масса.
1 понравилось29