Задание 5.

Проверить аргумент методом резолюций. Получить все следствия из данных посылок.

Вариант 1.

«Если объект не обладает свойством X или обладает свойством Y, то он обладает свойством Z. Если объект обладает свойством X, то он обладает свойством Y. Следовательно, объект обладает свойством Z».

Вариант 2.

«Если Петр поедет в Сан-Франциско, то Иван поедет на Канары. Петр поедет в Чикаго или в Сан-Франциско. Если Петр поедет в Чикаго, то Анна останется в Москве. Но Анна не останется в Москве. Следовательно, Иван поедет в Канны».

Вариант 3.

«Если неверно, что X или Y, то и Z, и W. Не Z или не W. Следовательно, X или Y».

Вариант 4.

«Если сегодня вечером будет дождь, то я пойду в казино. Если завтра будет снег, то я пойду на дискотеку. Сегодня вечером будет дождь или завтра будет снег. Следовательно, я пойду в казино или на дискотеку».

Вариант 5.

«Если функция линейная или монотонная, то если она самодвойственна, то сохраняет константу нуля. Данная функция и нелинейна, и немонотонна. Следовательно, она самодвойственна и сохраняет константу нуля».

Вариант 6.

«Галя и Борис – ровесники или Галя старше Бориса. Если Галя и Борис – ровесники, то Оля и Борис разного возраста, Если Галя старше Бориса, то Борис старше Коли. Следовательно, Оля и Борис – разного возраста или Борис старше Коли».

Вариант 7.

«Если X, то (Y тогда и только тогда, когда Z). Если X, то Z и (если Z, то Y). Следовательно, X».

Вариант 8.

«Если студент допущен к экзамену, то он сдал контрольную работу. Студент сдает контрольную работу, если научится проверять правильность аргументов методом резолюций. Студент не разобрался в этом методе. Следовательно, студент не допущен к экзамену».

Вариант 9.

«Если и X, и Y, то и Z, и не Y. Не Z или Y. Следовательно, не Y или не X».

Вариант 10.

«Если я достану учебник или конспект, то сдам экзамен. Если мой приятель не уедет в Кембридж, то я достану учебник. Если я достану конспект, то он уедет в Кембридж. Значит, я сдам экзамен».