Контрольная работа по дисциплине «Логика» Солодухин

Задание 1 (2.3)
Определите, являются ли следующие поня¬тия единичными, общими, пустыми или не¬определенными.
Число, на которое не делится любое другое число. Положительный герой в романе Н. Гоголя «Мертвые души». Натуральное число, делимое лишь на само себя. Неопознанный летающий объект. Божественное начало. Наибольшее натуральное число. Образ Фа¬мусова в комедии «Горе от ума». Изменение объекта в момент времени. Неизменность объекта в момент времени. Автор романа «Золотой теленок». Шестой орган чувств. Логически возможная ситуация, в ко¬торой движущийся объект превышает скорость све-та. Равносторонний прямоугольный треугольник. Внеземная цивилизация. Пегас.
Решение

Задание 2 (3.1)
Определите, какие из приведенных выра¬жений представляют собой правильно по¬строенные формулы языка логики в ...

Задание 1 (2.3) 3
Задание 2 (3.1) 3
Задание 3 (3.6) 4
Задание 4 (4.2) 8
Задание 5 (4.16) 9
Список использованных источников 13

-

┐(А˅B)┐(А↔В);ABА˅B┐(А˅B)А↔В┐(А↔В)┐(А˅B)┐(А↔В)0001100011001010100101110100Данная формула является логически ложной.┐(А˅B)↔(┐А┐В); ABА˅B┐(А˅B)┐А┐В┐А┐В┐(А˅B)↔(┐А┐В)00011111011010011010010111100001Данная формула является логически истинной.┐А˅┐(B┐А); AB┐А┐ВB┐А┐(B┐А)┐А˅┐(B┐А)0011011011010110010111100011Данная формула является логически истинной.┐(┐А┐B)→(┐В˅А); AB┐А┐В┐А┐В┐(┐А┐B)┐В˅А┐(┐А┐B)→(┐В˅А)00111011011001001001011111000111Данная формула является случайной.(AВ)↔(┐А˅┐B);AB┐А┐В┐А┐ВAВ(AВ)↔(┐А˅┐B)0011100011000110010011100010Данная формула является случайной.(А→┐┐В)┐((┐B˅C)→(┐C→┐A));АВС┐А┐В┐C┐┐ВА→┐┐В┐B˅C┐C→┐A(┐B˅C)→(┐C→┐A)┐((┐B˅C)→(┐C→┐A))(А→┐┐В)┐((┐B˅C)→(┐C→┐A))00011101011000011100111100010101111110001110011111001000110000100101010001110011000111100111110001111100Данная формула является случайной.(┐А˅┐В)┐(С→┐(B↔┐А));АВС┐А┐В┐А˅┐ВB↔┐А┐(B↔┐А)С→┐(B↔┐А)┐(С→┐(B↔┐А))(┐А˅┐В)┐(С→┐(B↔┐А))0001110110000111101100010101101000111011001110001110100101011100111100000110011100001100Данная формула является случайной.┐(┐(┐(┐В˅C)˅┐(A┐C))→┐┐(AB)).АВС┐(┐(┐(┐B˅C)˅┐(A┐C))→┐┐(AB))00000011110110100010001111001010010001001101101001100001110010101001101100110010101000111100101011000100101111011110100101001101Данная формула является случайной.Задание 4 (4.2)Проверьте логическую корректность следующих рассуждений, подобрав подходящий пример перевода формул на естественный язык:┐А→В, ┐А→┐В ⇒ А.А→С, В→С, А˅В ⇒ С.┐А˅В, ┐(B┐С), ┐D→┐С, Е˅┐D ⇒ ┐Е→┐А.┐В→┐А, С˅┐В, ┐(┐Dс), D→Е ⇒ ┐(А┐Е).┐(А→B) С ⇒ ┐(А→D)˅┐(D→(┐С˅B)).Решение┐А→В, ┐А→┐В ⇒ А.┐А→В – если сейчас не облачно, то Саша пропустит контрольную.┐А→┐В – если сейчас не облачно, то Саша не пропустит контрольную.А – сейчас облачно.Данное рассуждение логически корректно.А→С, В→С, А˅В ⇒ С.А→С – если пойти в лес, можно насобирать грибов.В→С – если пойти в поле, можно насобирать грибов.А˅В – мы пошли в лес или в поле.С – мы можем насобирать грибов.Данное рассуждение логически корректно.┐А˅В, ┐(B┐С), ┐D→┐С, Е˅┐D ⇒ ┐Е→┐А.┐А˅В – не идёт снег или холодно.┐(B┐С) – неверно, что холодно и нет людей в шубах.┐D→┐С – если не зима, то нет людей в шубах.Е˅┐D – прилетели снегири или не зима.┐Е→┐А – если не прилетели снегири, то не идёт снег.Данное рассуждение логически корректно.┐В→┐А, С˅┐В, ┐(┐DC), D→Е ⇒ ┐(А┐Е).┐В→┐А – если Саше не весело, то ему не рассказали хорошую шутку.С˅┐В – Саша смеётся или Саше не весело.┐(┐DC) – неверно, что Саша не испытывает сильные чувства или Саша смеётся.D→Е – если Саша не испытывает сильные чувства, то у него повышается давление.┐(А┐Е) – неверно, что Саше рассказали хорошую шутку и у Саши не повысилось давление.Данное рассуждение логически корректно.┐(А→B)С ⇒ ┐(А→D)˅┐(D→(┐С˅B)).┐(А→B)С – неверно, что из того, что Лена влюблена следует её невнимательность, а также известно, что Лена аккуратно собралась в школу.┐(А→D)˅┐(D→(┐С˅B)) – неверно, что если Лена влюблена, то она настойчива. Или неверно, что если Лена настойчива, то Лена неаккуратно собралась в школу или Лена невнимательна.Данное рассуждение логически корректно.Задание 5 (4.16)Проверьте логическую корректность и надежность следующих простых категорических силлогизмов, предварительно представив их в стандартной форме. Проверку проведите по таблицам совершенных силлогизмов и методом круговых схем.Только в споре рождается истина.Нет такого спора, в котором бы один не был глупцом, а другой мошенником.Истина открывается глупцам или мошенникам.