Примеры предикатов

Разберем несколько примеров построения предикатов.

1. "А вы, друзья, как ни садитесь, все ж в музыканты не годитесь". Обозначим через х - способ рассаживания музыкантов, y - качество исполнения, P (x,y) - предикат, связывающий способ рассаживания и качество исполнения. Окончательная формула: .

2. "Кто не работает, тот не ест":

.Здесь х - человек, P - предикатная константа РАБОТАТЬ, E - предикатная константа ЕСТЬ.

3. "Болтун - находка для шпиона": , где "роли исполняют": х - болтун, y - шпион, P - НАХОДКА.

4. Приведенный в начале главы пример силлогизма о Сократе можно переписать так: для всех х, если х - человек, то х - смертен; Сократ человек; (следовательно) Сократ смертен. Обозначим через М "быть смертным", через Н "быть человеком". Мы приходим к следующей формуле:

.

(Сократ здесь - индивидная константа).