Партнерка на США и Канаду по недвижимости, выплаты в крипто

  • 30% recurring commission
  • Выплаты в USDT
  • Вывод каждую неделю
  • Комиссия до 5 лет за каждого referral

Задание 1.

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

Если 9 марта будет тепло, то Джон поедет в Сан-франциско или в Лас-Вегас. Кейт поедет туда же, куда и Джон. Если Мери поедет в Лас-Вегас, то и Джон поедет в Лас-Вегас. Если Мери не поедет в Лас-Вегас, то Джон поедет в Сан-Франциско. Если 8 марта будет холодно, то 9 марта будет тепло. Если 8 марта будет холодно, то Мери не поедет в Лас-Вегас. 8 марта будет холодно.

Вопрос: поедет ли Кейт в Сан-Франциско?

ПРИМЕР ВЫПОЛНЕНИЯ

Любой студент хочет закончить институт. Некоторые студенты обладают особыми способностями.

Доказать следующее утверждение: студенты, обладающие особыми способностями, хотят закончить институт.


Любой студент хочет закончить институт:

Некоторые студенты обладают особыми способностями:

Нужно доказать следующее утверждение:

студенты, обладающие особыми способностями, хотят закончить институт:

Воспользуемся преобразованиями:

2а.  С(А)

2б.  О(А)

Отрицание теоремы, которую надо доказать: 

т. е.:

3а.  O(A)

3б.  ~И(A)

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