Пример готовой контрольной работы по предмету: Логика
Содержание
Вариант 1
1. Какой является формула ((p Ù q) É Ø((p ≠ Øq) Ú (q Ù Ør))) º (q É r)? Тождественно-истинной, тождественно-ложной или выполнимой, но не тождественно-истинной?
2. Средствами таблично построенной логики высказываний установите, является ли правильным следующее рассуждение:
- «Если это преступление не совершал Иванов, то он не знает место нахождения похищенных вещей. Иванов знает, где находятся похищенные деньги, но не знает места нахождения похищенных вещей. Иванова видели на месте преступления примерно в то время, когда было совершено преступление. Следовательно, Иванов не совершал этого преступления».
3. Средствами таблично построенной логики высказываний установите, в каких отношениях находятся следующие высказывания:
- «Если тело является кристаллическим, то оно имеет определенную температуру плавления. Данное тело не является кристаллическим, поскольку оно не имеет определенной температуры плавления. Данное тело является кристаллическим.
4. Является ли правильным следующий силлогизм, если нет, то какие правила фигур или общие правила в нем нарушены? Проиллюстрируйте необходимость следования заключения из посылок (или отсутствие такой необходимости), вычерчивая соотношение между терминами силлогизма в виде круговых схем.
Все дельфины — киты.
Ни одна рыба не является китом.
Ни одна рыба не является дельфином.
5. Является ли правильным следующее определение? Если определение неправильное, то какая ошибка допущена?
‘»Прекрасное есть закон в его ограниченном временем, пространством и конкретной исторической формой проявлении».
Выдержка из текста
2. Средствами таблично построенной логики высказываний установи-те, является ли правильным следующее рассуждение:
- «Если это преступление не совершал Иванов, то он не знает место нахождения похищенных вещей. Иванов знает, где находятся похищенные деньги, но не знает места нахождения похищенных вещей. Иванова видели на месте преступления примерно в то время, когда было совершено преступление. Следовательно, Иванов не совершал этого преступления».
1)Выделяем простые суждения и формализуем их.
а) Иванов не совершал это преступление – обозначим это суждение буквой «р»
б) Иванов не знает место нахождения похищенных вещей — обозначим это суждение буквой «q»
с) Иванов знает, где находятся похищенные деньги — обозначим это суждение буквой «r»
д) Иванова видели на месте преступления примерно в то время, когда было совершено преступление — обозначим это суждение буквой «s»
2) Составляем формулы сложных суждений: первое суждение представляет собой импликацию, второе – конъюнкцию, заключение совпадает с пропозициональной переменной р.
1) (p É q); 2) ((r ^ q) ^ s); 3) p
3) Составляем сводную таблицу истинности (число строк определяется согласно числу пропозициональных переменных).
pqrs(p Éq)((r ^q)^s)p
1.иииииииииииии
2.ииилиииииилли
3.иилииииллилии
4.ииллиииллилли
5.илиииллилллии
6.илилиллилллли
7.иллииллллллии
8.илллиллллллли
9.лииилииииииил
10.лииллиииииллл
11.лилилииллилил
12.лилллииллиллл
13.ллиилилилллил
14.ллиллилиллллл
15.лллилилллллил
16.лллллиллллллл
Формула логически следует из группы других формул, если в сводной таблице отсутствует строка, в которой каждая из формул группы принимает значение «истина», а данная формула принимает значение «ложь». Если же такая строка есть, то формула не следует,
В данном примере:
формула № 3 не следует из формул № 1 и № 2, так как искомая строка имеется (строка № 9).
формула № 2 не следует из формул № 1 и № 3, так как имеется даже несколько искомых строк (строки № 2, № 3, № 4).
формула № 1 следует из формул № 3 и № 2, так как искомой строки нет.
Список использованной литературы
1. Афанасьева О. В. Логика: учебное пособие. М., 2002. – 152 с.
2.Ивин А. А. Логика для журналистов: учебное пособие. М., 2002. – 224 с.
3.Кириллов В., Старченко А. Логика: учебник для юридических вузов. Изд. 5-е. М., 2007 – 256 с.
