Суждение. а) Постройте таблицу истинности и определите логические значения высказываний (логический закон, логическое противоречие

а) Постройте таблицу истинности и определите логические значения высказываний (логический закон, логическое противоречие, выполнимое высказывание):

Задание

1. (((p Ù q) ® r) Ù ~r) ® (~p Ú ~q)

2. ((p ® q) Ù (q ®p)) «(p «q)

3. (p ® q) ® ((q ® s) ® (p ® (q Ù s)))

4. (p Ù q) «~(~p Ú ~q)

5. ((p ® ~r) Ù ~r) ® p)

б) Определите, существует ли отношение логического следования между посылками и заключениями рассуждений (определите логическую форму (схему) рассуждения, постройте таблицу истинности для: (1я посылка Ù 2я посылка) ® заключение).

Задание

1. Если на улице холодно и сыро, то мы не пойдем в парк. Но на улице не холодно и не сыро.

2. Если мы завтра встретимся, то пойдем в театр; если мы пойдем в театр, то вернемся домой поздно; но мы поздно не вернемся.

3. Если студент старательно учится, он хорошо сдает экзамены. Этот студент хорошо сдал экзамены.

Дедуктивное умозаключение

а) Дайте анализ дедуктивным рассуждениям первого типа (прямые): восстановите, если нужно, определите логическую форму, определите вид.

Задание

1. Или ухудшение не наносит вреда – чего быть не может – или – и это совершенно ясно – все ухудшающееся лишается доброго (Августин Блаженный).

2. Ты говоришь, мы должны считать себя счастливыми, поскольку мы не знаем этого лживого, мерзостного мира с его лживыми, отвратительными людьми. Пожалуй, я одна из несчастных, поскольку я то знаю этот лживый, мерзостный мир с его лживыми, отвратительными людьми (Шолом Алейхем).

3. Философы утверждают, что они ищут, значит, они еще не нашли (Тертуллиан).

4. Математику нельзя было бы применить к познанию объективного мира, если бы ее положения не были отражением этого мира. Отсюда видно, что в положениях математики отражен объективный мир.

5. Я мыслю, следовательно я существую (Декарт).

6. Однажды к Диогену обратились с вопросом: «Когда человеку нужно завтракать?». Философ дал такой ответ: «Если ты богат, то когда захочешь, если ты беден, то когда сможешь».

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

Задание

1. Некоторые интеллигенты занимаются бизнесом. Следовательно, некоторые бизнесмены – интеллигенты.

2. Некоторые люди уважают закон. Следовательно, некоторые из тех, кто не уважает закон, не являются людьми.

3. Некоторые европейские страны – унитарные. Следовательно, все унитарные государства – европейские.

4. Все экономические законы объективны. Следовательно, все объективные законы – экономические.

5. Все студенты нашей группы – отличники. Следовательно, все те, кто не является отличниками, не могут быть студентами нашей группы.