Материал предоставлен http://it.rfet.ru

Не понимаю как отличить высказывания от предикалов

8 лет назад

если в предикалах все выскавания .

8 лет назад

Здравствуйте, Ольга Алексеевна.

Высказывание — то, отнисительно чего Вы можете незамедлительно сказать истинно оно или нет. Например, Число %%3%% равно числу %%5%%. (ложь)

Предикат — предложение, в котором есть переменные, и которое становится высказыванием если заменить все переменные на их значения. Например, Число %%x%% равно числу %%y%%. В данном случае Вы не можете сказать истинно оно или нет, т.к. Вам не известны сами числа %%x%% и %%y%%.

Теперь подставим вместо числа %%x%% конкретное число, например, %%3%%. Тогда получится следующий предикат Число %%3%% равно числу %%y%%. Теперь осталась лишь одна переменная %%y%% (Вы всё ещё не знаете чему она равна).

Теперь подставим вместо числа %%y%% конкретное число, например, %%5%%. Тогда получится следующее высказывание Число %%3%% равно числу %%5%%. Теперь Вы можете сказать истинно оно или нет.

Поэтому если в предикате вместо всех переменных подставлены конкретные значения, то данный предикат становится высказыванием.

С уважением,
Валерий Алигорский.

Ваш комментарий

Комментирование доступно только для авторизованных пользователей.