ДИСКРЕТНАЯ МАТЕМАТИКА БЕЗ ФОРМУЛ   ::   Соловьев Александр

В хорошо формализованных системах даже наоборот, дополнительно ограничивают этот язык для удобной реализации на компьютерах. Примером тому язык (логического) программирования

ПРОЛОГ – ПРОграммирование на ЛОГике.

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

На языке предикатов можно описать далеко не все, хотя и многое. Но даже в этом ограниченном пространстве подчас приходится применять хитрости и уловки, которые бы больше пристали ремеслу или искусству. Хотя об'яснения, в конце концов, обычно бывают строго формальные.

Вот некоторые «классические примеры».

Если мы желаем сказать на языке предикатов «Все студенты отличники», то рекомендуется конструкция

" ДЛЯ ВСЕХ иксов справедливо: ЕСЛИ икс студент, ТО икс отличник"

Но если хотим сказать «Некоторые студенты отличники», то это следует записать

" ДЛЯ НЕКОТОРЫХ иксов справедливо: икс студент И икс отличник" Конструкция ЕСЛИ…, ТО в данном случае не подходит. И вот почему: стоит затесаться в компанию одному иксу-нестуденту и он сделает этот предикат истинным, даже если там нет ни одного отличника!

И еще высказывание «Собакам и кошкам вход воспрещен».

Конструкция

" ДЛЯ ВСЕХ иксов справедливо: ЕСЛИ икс – собака И икс – кошка, ТО иксу вход запрещен"

Ясно что таких иксов, которые бы были одновременно собакой и кошкой не существует! Как, впрочем, и таких игреков.