Содержание

Разобьем сложную формулу (qr)(pq) на части в порядке приоритета выполнения логических операций и построим для нее таблицу истинности:

2. Средствами таблично построенной логики высказываний установите, является ли правильным следующее рассуждение:

«Если гражданин Иванов И.И. является участником расследуемого преступления (А), то он знал потерпевшего (В). Гражданин Иванов И.И. знал потерпевшего по учёбе в институте (В). Следовательно, гражданин Иванов И.И. является участником расследуемого преступления (А)».

Символическая запись: ((А→В)В)→А, где "→" – символ импликации, "" – символ конъюнкции.

Данное рассуждение является выполнимым (нейтральным), так как среди полученных значений есть и истинные и ложные. Формула определяет условно-категорическое умозаключение, построенное по неправильному модусу от утверждения истинности следствия к утверждению истинности основания, который достоверного вывода не дает, так как бОльшая посылка не является эквивалентным суждением.

Выдержка из текста

Введени 1. Какой является формула (q r)  (p q)? Тождественно-истинной, тождественно-ложной или выполнимой?

q r qr pq (qr)(pq)

И И И И И

И Л И Л Л

Л И И Л Л

Л Л Л Л И

Список использованной литературы

Список литературы

1. Абачиев С. К. Формальная логика с элементами теории познания: учебник для вузов /С. К. Абачиев. ‒ Ростов-на-Дону: Феникс, 2012. ‒ 635 с.

2. Бочаров В. А., Маркин В. И. Основы логики: Учебник. – М.: ИНФРА – М, 1997. – 296 с.

3. Гетманова А. Д. Логика /А.Д. Гетманова. ‒ М.: КноРус, 2012. ‒ 416 с.

4. Гусев Д. А. Краткий курс логики. Искусство правильного мышления /Д.А. Гусев. ‒ М.: НЦ ЭНАС, 2003. ‒ 190 с.

5. Демидов И. В. Логика: учебник / И. В. Демидов. ‒ 8-е изд. – М.: Дашков и К, 2013. ‒ 347 с.

6. Дмитревская И. В. Логика / И.В. Дмитревская. ‒ М.: Флинта, 2013. — 384 с.

7. Иванов Е. А. Логика. Учебник М.: Изд-во БЕК, 1996.

8. Ивин А. А. Логика: Учеб. пособие для вузов / А. А. Ивин. ‒ М.: Высш. шк., 2008. ‒ 304 с.

9. Ивлев Ю. В. Логика: учебник / Ю. В. Ивлев; Московский государственный университет им. М. В. Ломоносова. ‒ 3-е изд., перераб. и доп. ‒ Москва: Проспект, 2004. ‒ 287 с.

10. Кириллов В. И., Старченко А. А. Логика. Учебник для юридических вузов. – М. Юрист, 2014.

Похожие записи