Предикаты. Пример

Допустим есть фирма "Рога и копыта".

Пусть Балаганов занимает в ней должность уполномоченного по копытам, а Паниковский - курьера.

Рассмотрим предикат:

В романе "Золотой теленок" x работает в подставной фирме y на должности z

x - пробегает множество всех действующих лиц романа, y - всех подставных фирм, z - всех должностей.

Тогда истинными будут только высказывания, которые получаются следующими подстановками:

1) x - Балаганов

y - "Рога и копыта"

z- "Уполномоченный по копытам"

2) x - паниковский

y - "Рога и копыта"

z - "Курьер"

Все остальные высказывания, полученные подстановками, будут ложными.