СУЖДЕНИЕ

ПЛАН

1.  Сущность суждения

2.  Логические связи между суждениями. Истинностное значение сложных суждений

3.  Условный (гипотетический) силлогизм

4.  Разделительный силлогизм

5.  Дилеммы

Литература

1. СУЩНОСТЬ СУЖДЕНИЯ

 

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

Суждения, содержание которых отвечают действительности, называются истинными, а суждения, содержание которых не отвечает действительности, - ложными. Истинными, например, будут суждения «Лилия-растение», «Медь электропроводна». Напротив, суждения «Кит-рыба», «Ртуть легче воды» являются ложными.

В логике суждения обозначаются буквами. Мы будем считать, что малые латинские буквы p, q, r, s, t…c индексами или без них обозначают суждения. Поскольку суждения могут быть истинными или ложными, то, поставив значению «истина» в соответствие 1, и значению «ложь» - 0, будем полагать, что эти переменные принимают значения из двухэлементного множества {0,1}. Поскольку суждения выражаются в предложениях, то переменные, обозначающие суждения, обозначают и предложения. Их называют, поэтому пропозициональными переменными. В символических обозначениях суждения, обычно, называют высказываниями.

2. ЛОГИЧЕСКИЕ СВЯЗИ МЕЖДУ СУЖДЕНИЯМИ. ИСТИНОСТНОЕ ЗНАЧЕНИЕ СЛОЖНЫХ СУЖДЕНИЙ

 

В рассуждениях отдельные суждения связываются в сложные суждения с помощью логических связок. Наиболее употребительными из них являются:

«и», которая обозначается символом Ù

«или», которая обозначается символом Ú

«или» в исключительном смысле, которая обозначается символом Ú

«если…, то», которая обозначается символом ®

«если и только если», которая обозначается символом º

«не», которая обозначается символом ¾

В грамматике связки Ù, Ú, Ú, ®, º, называются союзами. Часто связка Ù, связывающая отдельные предложения, отпускается и заменяется точкой. Связка - именуется в грамматике отрицанием.

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

р q

`

`

pÚq pÚÚq рÙq p®q pºq 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 0 1 0 1 1 1

Суждения `p и `q называются отрицанием суждений p и q.

Суждения p Ú q - дизъюнкцией суждений p и q.

Суждение p Ú Úq – строго разделительной дизъюнкцией суждений p и q.

Суждение p Ù q - конъюнкцией суждений p и q.

Суждение p ® q – импликацией суждений p и q.

Суждений p º q – эквиваленцией суждений p и q.

В рассуждениях логические связи применяются многократно в разных сочетаниях. Конечно, при выявлении истинности всего рассуждения очень важны конкретные знания. Но логика тем и хороша, что нередко дает очень простой способ установления истинности какого-то рассуждения, не требующий конкретных знаний. ............