Типовой расчет по теме «Исчисления предикатов». Задача 1. Ввести предикаты, задающие свойства и отношения, и
константы, используемые в рассуждениях. Записать каждое
предложение предикатной формулой, а всё рассуждение в виде
логического следования.
Задача 2. Проверьте справедливость логического следования,
записанного в задаче 1, построив вывод в секвенциальном
исчислении предикатов.
Задача 3. Проверьте справедливость логического следования,
записанного в задаче 1, методом резолюций для исчисления
предикатов.

Задача:
Если бы кто-нибудь мог решить эту задачу, то и какой-нибудь
математик мог бы. Сергей – математик и не может её решить. Значит, задача неразрешима.

Парламенты возникли еще в эпоху Высокого средневековья. Парламенты выражали мнение всех сословий по самым важным вопросам королевства, прежде всего по вопросам налогов. Например, в Англии король не мог вводить новых налогов без ободрения парламента. Короли гарантировали права и привилегии парламентов. Но по мере усиления королевской власти монархи стали тяготиться сословными представительствами. Короли, которые все больше сосредотачивали власть в своих руках, стремились избавиться от парламентов или снизить их роль в жизни королевства. Но короли не могли сразу прекратить многовековую традицию . Поэтому в Англии Тюдоры в XVI проявляли дипломатию и продолжали созывать Парламент, но все реже и реже. В XVII в. новая династия Стюартов попыталась в значительной мере освободиться от влияния Парламента: короли даже не скрывали своего мнения относительно прав парламента, которые не могли ограничивать божественное право короля в управлении страной. Во Франции королям удалось прекратить регулярный созыв Генеральных штатов с 1614 по 1789 г.

а) 1) Москва, Москва моя, Москва моя — красавица, несравненная, родимая земля. (С. Васильев)
2) Скажи. Вильгельм, не то ль и с нами было, мой брат по музе, по судьбе? (А. С. Пушкин)
б)  1) Прощай, мой товарищ, мой верный слуга, расстаться настало нам время. (А. С. Пушкин)
2) Ребята! Вперед, на вылазку, за мною! (А. С. Пушкин)
в)  1) О поле, поле, кто тебя усеял мертвыми костями? (А. С. Пушкин)
2) Ты прости-прощай, сыр-дремучий бор, с летней волею, с зимней вьюгою! (А. Кольцов)
Обращения на письме выделяются запятыми или восклицательным знаком.
В   качестве   обращения   могут   выступать   собственные   и    нарицательные, одушевленные и неодушевленные имена существительные.