2015-03-27
1591
Проверить аргумент методом резолюций. Получить все следствия из данных посылок.
Вариант 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.
«Если я достану учебник или конспект, то сдам экзамен. Если мой приятель не уедет в Кембридж, то я достану учебник. Если я достану конспект, то он уедет в Кембридж. Значит, я сдам экзамен».
