Доказать тождество.Паскаль

[Аватар]

Однако параметр цикла не во всех компиляторах Pascal может иметь логический тип.

Цикл можно от 0 до 1 с последующим преобразованием в Boolean

[Serge_Bliznykov]

Блин, это же опять некропост! Исходная тема (и ответ) были в январе 2013 года...

[Sasha_Smirnov]

Ну и что? Я с удовольствием почитал.

Думаю, и шевеление мозгами было приятным… без этого душка!

[Вадим Мошев]

Сообщение от АМД

В данном случае проверяется справедливость только при x1 и x2, имеющих значение False, а надо проверять и все остальные случаи.

Не понимаю, что вам не нравится. Знак равенства в Паскале можно интерпретировать как двуместный оператор, возвращающий истину тогда, когда оба операнда совпадают между собой, и ложь, когда они не совпадают. Его не следуют путать с математическим "равно", которое можно читать, как "Это будет равно" или "то же, что и ...". Хотя, в математической логике есть такой термин, как "предикат". Предикат - логическое высказывание (высказывательная форма), обращающаяся в конкретные логические значение при конкретных значениях переменных, содержащихся в предикате.

Примером предиката могут быть математические соотношения, например, x^2 + 4x - 16 = 0
ИЛИ
x + y + z < 15.234

Также предикатами могут быть выражения из естественных языков, в которых сказуемое не определено явно и может изменяться путём замены его на конкретные объекты. Например: "Эта жидкость - сладкая". Здесь "переменной" является слово "Жидкость". Если мы будем подставлять разные жидкости, то будет получать разные результаты.