2. Суждение

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

Задание

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. Если студент старательно учится, он хорошо сдает экзамены. Этот студент хорошо сдал экзамены.

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

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

Задание

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

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

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

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

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

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

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

Задание

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

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

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

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

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

4. Простой категорический силлогизм

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

Задание

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

2. Солнце – звезда. Следовательно, оно проходит несколько стадий своей эволюции.

Ни один человек не может летать. Все люди могут ходить. Следовательно…

3. Любая революция – смута. Любая революция разрушает. Следовательно…

4. Ни один мудрый человек не является глупцом. Некоторые разумные люди – мудрецы. Следовательно…

5. Некоторые истины нельзя опровергнуть. Любую истину можно поддать сомнению. Следовательно…