Типовой расчет по теме «Исчисления предикатов». Задача 1. Ввести предикаты, задающие свойства и отношения, и
константы, используемые в рассуждениях. Записать каждое
предложение предикатной формулой, а всё рассуждение в виде
логического следования.
Задача 2. Проверьте справедливость логического следования,
записанного в задаче 1, построив вывод в секвенциальном
исчислении предикатов.
Задача 3. Проверьте справедливость логического следования,
записанного в задаче 1, методом резолюций для исчисления
предикатов.
Задача:
Если бы кто-нибудь мог решить эту задачу, то и какой-нибудь
математик мог бы. Сергей – математик и не может её решить. Значит, задача неразрешима.
Где честь, там и правда.
Чем труднее дело, тем выше честь.
Честное слово должно быть постоянно.
Береги честь смолоду, а здоровье под старость!
Дадут дураку честь, так не знает, где и сесть.
Честь ум рождает.
Бесчестье хуже смерти.
Честь дороже жизни.
Каков есть, такова и честь.
Не тот честен, кто за честью гоняется, а тот, за кем она сама бежит.
Честь лучше богатства.
Береги платье снову, а честь смолоду!
Кто с честью дружит, тот верно Родине служит.
Не кусок пирога, а честь дорога.
Где честь, там и разум.
Честь ценят не по словам, а по делам.
По заслугам и честь.
Клятва умному страшна, а глупому смешна.
Честь честью, а дело делом.
Собаке - собачья честь.
Без труда чести не получишь.
Честь чести на слово верит.
Честь головой оберегают.
Добрая слава до порога, а худая за порог.
Чем больше чести, тем больше спросу.
Есть, да не про вашу честь.
В ком честь, в том и правда.
Живи своим умом, а честь расти трудом.
Всякому своя честь дорога.
Увечье чести не Отнимет.
За честь хоть голову с плеч.
И честь не в честь, коли нечего есть.
Дай бог тому честь, кто умеет ее снесть.
Пришла честь - сумей её снесть.
Добрая слава лучше мягкого пирога.
Лучше смерть, нежели позор.
Чем сломать свою честь, лучше сломать свою кость.
Лучше глаза лишиться, чем доброго имени.
Бесчестье в бороду не упрячешь.
Наша совесть — судья непогрешимый,.пока мы не убили ее.
О. Бальзак
Приятно следовать внушениям совести.
О. Бальзак
Честь есть краеугольный камень человеческой мудрости.
В. Г. Белинский
Где же познается истинное величие человека, как не в тех случаях, в коих он решается лучше вечно страдать, нежели сделать что-нибудь противное совести?
В. Г. Белинский
Человеческая совесть побуждает человека искать лучшего и ему порой отказываться от старого, уютного, милого, но умирающего и разлагающегося — в пользу нового, сначала неуютного и немилого, но обещающего свежую жизнь.
А. Блок
Моя честь — это моя жизнь; обе растут из одного корня. Отнимите у меня честь — и моей жизни придет конец.
Уильям Шекспир
Это о чести.
За совесть да за честь - хоть голову снесть.
Где честь, там и правда.
Чем труднее дело, тем выше честь.
Честное слово должно быть постоянно.
Береги честь смолоду, а здоровье под старость!
Дадут дураку честь, так не знает, где и сесть.
Честь ум рождает.
Бесчестье хуже смерти.
Это одостоистве.
Без грамоты, как без свечки в потемках.
Без надежды, что без одежды: и в теплую погоду замерзнешь.
Без цели ничего не делают.
Бережливость лучше прибытка.
Была бы охота, заладится всякая работа.
Быть занятым — быть счастливым.
В бою побеждает кто упорнее и смелее, а не кто сильнее.
В одну руку всего не загребешь