матлогика_методичка. Методические указания к выполнению практических работ Омск Издательство Омгту 2009
 Скачать 0.58 Mb.
|
3.3. Задания1. Установить правильность рассуждения, построив вывод исчисления высказываний. 2. Проверить вывод методом резолюций. Варианты индивидуальных заданий Вариант № 1 1. На работу в эту организацию принимают, если пройдешь собеседование и будешь аттестован положительно. Его не приняли. Значит, он либо не прошел собеседование, либо не был положительно аттестован. 2. X,B, (CX) B ⊢ C. Вариант № 2 1. Если светофор красный, то проезд не разрешен. Проезд разрешен. Значит, светофор не красный. 2. A (B C), A C, B⊢ C. Вариант № 3 1. Если треугольник равносторонний, то его углы равны. Треугольник равносторонний. Следовательно, его углы равны. 2. ((XC ) B ) ⊢ C. Вариант № 41. Если ограбление совершил Сидоров, то он знает, где находятся похищенные деньги. Сидоров не знает, где находятся похищенные деньги. Следовательно, он не совершал ограбления. 2. AF, AC, FD⊢ CD.Вариант № 51. Если растение лекарственное, его следует охранять. Это растение не подлежит охране. Следовательно, оно не лекарственное. 2. A, C, (AC )D, D F⊢ F. Вариант № 61. Петров инженер или студент. Он не инженер. Следовательно, он студент. 2. A (B C), A B, C⊢ B. Вариант № 71. Если студент занимается не систематически, то он не имеет прочных знаний. Если он не имеет прочных знаний, то он не будет хорошим специалистом. Следовательно, если студент занимается не систематически, то он не будет хорошим специалистом. 2. A, A (B C), B D, C ⊢ D. Вариант № 81. Это вещество может быть кислотой либо солью. Это вещество не соль. Следовательно, это кислота. 2. (A C ) (A B)⊢ A B. Вариант № 91. Если прямая касается окружности, то радиус, проведенный в точку касания, перпендикулярен к ней. Радиус окружности не перпендикулярен к этой прямой. Следовательно, прямая не касается окружности. 2. F C, C A, F D, D A ⊢ A. Вариант № 101. Если человек знает геометрию, то он знает теорему Пифагора. Этот человек не знает теорему Пифагора. Следовательно, он не знает геометрию. 2. B (D C), D, C A B)⊢ A B. Вариант № 111. Если слово ставится в начале предложения, то оно пишется с большой буквы. Это слово написано с маленькой буквы. Следовательно, это слово не стоит в начале предложения. 2. B (C A), B D, D C, ⊢ C. Вариант № 121. Если функция четная, то ее график симметричен относительно оси OY. График несимметричен относительно оси OY. Следовательно, функция не является четной. 2. B C A), B E, C, E⊢ A Вариант № 131. Если светофор зеленый, то проезд разрешен. Проезд не разрешен. Значит, светофор не зеленый. 2. C, D C, A (B D), B ⊢ A C. Вариант № 141. Если Андрей отсутствовал на работе, он не выполнил задания. Андрей был на работе. Следовательно, он выполнил задание. 2. C (B A), B E, C ⊢A E. Вариант № 151. Плох тот солдат, который не мечтает стать генералом. Этот солдат хорош. Следовательно, он мечтает стать генералом. 2. A (C B), D A, C ⊢ D B. Вариант № 161. Если треугольник равносторонний, то он равнобедренный. Если треугольник равнобедренный, то углы при основании равны. Следовательно, если треугольник равносторонний, то углы при основании равны. 2. A, X C⊢ (A C) X. Вариант № 171. Если диагноз подтвердится, то ему придется лечь в больницу. Если он ляжет в больницу, то поездку придется отменить. Диагноз подтвердился. Значит, поездку придется отменить. 2. A (C B), D A, C ⊢D B. Вариант № 181. Петров студент или школьник. Он не школьник. Следовательно, он студент. 2. A, A (B C), B D, C ⊢ D. Вариант № 191. Если я устал, то не могу готовиться к занятиям. Если я не смогу приготовиться к занятиям, я не напишу контрольную работу. Я устал. Значит, я не напишу контрольную работу. 2. B (E C), E, C A B) ⊢ B A. Вариант № 201. Если Сергей победит на соревнованиях, он войдет в сборную страны. Если он войдет в сборную страны, то будет участвовать в чемпионате мира. Следовательно, если Сергей победит на соревнованиях, он будет участвовать в чемпионате мира. 2. G (B C), G C, B⊢ C. |