3. Список основных символов

Символ	Способ употребления	Название	Читается
 ;  ; 	pq pq pq	конъюнкция	p и q
	pq	дизъюнкция слабая, или неисключающая	p или q
	pq	дизъюнкция сильная, или исключающая	либо p, либо q
 ; 	pq pq	импликация	если p, то q
 ; 	pq pq	эквиваленция	p тогда и только тогда, когда q
 ;  ; 	p p p	отрицание	неверно, что p
	xP(x)	квантор общности	для всякого х верно, что Р (х)
	xP(x)	квантор существования	существует такой х, что Р(х)
 ; L ; N	 р	необходимо, что	необходимо, что р
M	M p	возможно, что	возможно, что р
x, y, z	индивидные (предметные) переменные
p, q, r	пропозициональные2 переменные
P, Q, R	предикатные переменные

4. Таблицы и схемы

1. Операции над суждениями (превращение, обращение, противопоставление предикату)

2. Деление суждений по качеству и количеству

3. Распределенность терминов в суждении

4. Фигуры и модусы силлогизма

5. Последовательность анализа силлогизма

6. Определение понятия. Ошибки в определениях

7. Виды понятий

1. Превращение – преобразование суждения в суждение, в результате которого меняется качество исходного суждения с одновременной заменой его предиката на противоречащее понятие.

Схема превращения:

S есть Р



S не есть не-р

Превращению подлежат суждения А, Е, I, О

А  Е

Все S есть Р



Ни одно S не есть не-Р

«Все студенты – отличники



Ни один студент не является не-отличником»

I  О

Некоторые S есть Р



Некоторые S не есть не-Р

«Некоторые студенты – отличники



Некоторые студенты не является не-отличниками»

Е  А

Ни одно S не есть Р



Все S есть не-Р

«Ни один студент не является отличником



Все студенты являются не-отличниками»

О  I

Некоторые S не есть Р



Некоторые S есть не-Р

«Некоторые студенты не есть отличники



Некоторые студенты есть не-отличники»

2. Обращение - преобразование суждения, в результате которого субъект исходного суждения становится предикатом, а предикат – субъектом заключения.

Схема обращения:

S есть Р

