Реферат. В7Суждение. Контрольная работа по теме Суждение
 Скачать 28.96 Kb.
|
|
Контрольная работа по теме «Суждение» Вариант 7 1. Приведите к канонической форме и определите вид суждений: 1.1. Электроны имеют отрицательный электрический заряд. А - общеутвердительному: «Все S есть Р» 1.2. Жили у бабуси три веселых гуся. А - общеутвердительному: «Все S есть Р» 1.3. Ни одно имя собственное не пишется с маленькой буквы. Ё - общеотрицательному: «Ни одно S не есть Р»; 2. Табличным способом проверьте равносильность суждений а) и б): 2.1. А) Я тогда и только тогда иду в кино, когда не читаю книгу. Б) Либо я иду в кино, либо читаю книгу. 2.2. А) Либо я не читаю книгу, либо я хочу прилечь. Б) Тогда и только тогда я читаю книгу, когда хочу прилечь. 3. Отредактируйте следующие тексты, используя законы логики: 3.1. Если я учусь в институте и работаю на заводе, то я либо учусь в институте, либо работаю на заводе. 3.2. Если неверно, что тогда и только тогда “Спартак” выйдет в финал, когда сыграет вничью, то “Спартак” не выйдет в финал или сыграет вничью. 4   .1. В следующей системе высказываний по меньшей мере одно высказывание истинно: (pq),  p, r, rp. Найдите эквивалентную ей, но более простую систему высказываний. 4.2. Командир осажденной крепости послал следующие три сообщения:а) Если нам удается получить продовольствие, то нам не будет угрожать смерть от голода. б) Если нам не удается получить продовольствие, то или нам будет угрожать смерть от голода, или мы попытаемся прорвать кольцо окружения. в) Если нам будет угрожать смерть от голода, то мы попытаемся прорвать кольцо окружения. Покажите, как можно сократить эти сообщения, не меняя их смысла. Можно ли сформулировать сообщение, эквивалентное трем указанным, но более простое в логическом смысле? Ответить на этот вопрос означает найти более простые допущения, которым были бы эквивалентны все три сообщения. Пусть А = «Нам удастся получить продовольствие», В = «Нам не будет угрожать смерть от голода», С= «Мы попытаемся прорвать кольцо окружения». Все три сообщения символизируются следующей формулой — ((Л з В) & {-А з (-1В * С)) & (-.В з С)). Дерево формулы:  Нетривиальные допущения: (В & А) или (В & С), т. е. все три сообщения истинны, если истинно допущение «Нам удастся получить продовольствие, и нам не будет угрожать смерть от голода» или допущение «Нам не будет угрожать смерть от голода, и мы попытаемся прорвать кольцо окружения». 5. Решите следующие логические задачи: 5.1. На марафонском беге было высказано два прогноза о местах, которые займут спортсмены Иванов, Петров и Сидоров, реально претендующие на призовые места: 1) “Сидоров будет первым, Иванов - вторым, а Петров - третьим”. 2) “Победит Иванов, Петров прийдет вторым, а Сидоров будет третьим”. После окончания состязания оказалось, что три фаворита действительно заняли три первых места, но оба предсказания оказались ложными. Ни в одном из предсказаний ни одно из мест не было названо правильно. Какое место занял каждый из спортсменов? 5.2. Предположим, что в санатории на берегу моря отдыхают отец, мать, сын и две дочери. До завтрака члены семьи часто купаются в море, причем известно, что если отец утром отправляется купаться, то с ним обязательно идут мать и сын; если сын идет купаться, то его сестра отправляется вместе с ним; вторая дочь купается тогда и только тогда, когда купается мать, и каждое утро купается, по крайней мере, один из родителей. Если в воскресенье утром купалась в море лишь одна из дочерей, то кто из членов семьи в это утро ходил на море? Ответ : в это утро на море ходила мать, т.к. в варианте 3 было сказано, что вторая дочь купается только тогда, когда купается мать. |