2.Распределенность терминов в простых атрибутивных категорических суждениях.

Терминов в простых суждения два – субъект (S) и предикат (P). Понятие распределенности терминов говорит о следующем: в конкретном суждении один термин относительно другого взят во всем объеме, или нет.

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

Вопросы и упражнения:

Укажите распределенность терминов в следующих суждениях:

1.«Все металлы (S) проводники (P)» (А).

2.«Ни один дельфин (S) не рыба (P)» (Е).

3.«Некоторые студенты (S) любят математику (P)» (I).

4.«Некоторые люди не являются любителями классической музыки»

5. Сложный случай. «Некоторые писатели (S) – драматурги (P)».

Попробуйте воспользоваться этой табличкой:

	A	I	E	O
S	+	-	+	-
P	- (+)	- (+)	+	+

Итак, субъект распределен в общих суждениях и нераспределен в частных, а предикат распределен в отрицательных суждениях, а в утвердительных суждениях он распределен только в тех случаях, когда объем предиката меньше или равен объему субъекта.

3.Сложные суждения.

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

Так как нам важно для практических целей, чтобы логические союзы соотносились с союзами естественного (русского) языка, то из множества логических союзов мы будем использовать, конъюнкцию (&), простую (V) и сложную (Ẅ) дизъюнкции, импликацию (→) , тождество (эквивалентность) (), отрицание ().

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

	p	q	p & q	p V q	p Ẅ q	p → q	p  q
	1	2	3	4	5	6	7
1	И	И	И	И	Л	И	И
2	И	Л	Л	И	И	Л	Л
3	Л	И	Л	И	И	И	Л
4	Л	Л	Л	Л	Л	И	И

4.Определение эквивалентности сложных суждений.

Вопросы и упражнения:

1.Пусть нам даны два сложных суждения (1) Углекислый газ бесцветен и не имеет запаха. (2) Неверно, что углекислый газ имеет цвет или запах».

Проверите эквивалентность этих суждений.

2. Попробуйте выяснить эквивалентность следующих двух сложных суждений. (1) «Я учусь, а брат работает на заводе». (2) «Неверно, что я не учусь, а брат не работает на заводе».

5.Проверка логического следования при помощи таблиц истинности.

Вопросы и упражнения:

1.Выясните, является ли pVr логическим следствием из p V q и q → r.

2.Выясните, следует ли p V q из p V r и q → r.