Логика — наука о мышлении, ее предметом, являются законы и формы, приемы и операции мышления, с помощью которых человек позна­ет окружающий его мир

Преобразование суждения в суждение, противоположное по ка­честву с предикатом, противоречащим предикату исходного суж­дения, называется превращением.
Превращать можно общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные суждения.
Общеутвердительное суждение (А) превращается в общеотри­цательное (Е).
Схема превращения суждения А:
Все S суть Р Ни одно S не есть не-Р
Общеотрицательное суждение (Е) превращается в общеутвер­дительное (А).
Схема превращения суждения Е:
Ни одно S не есть Р Все S суть не-Р
Частноутвердительное суждение (I) превращается в частно-отрицательное (О).
Схема превращения суждения I:
Некоторые S суть Р Некоторые S не суть не-Р
Частноотрицательное суждение (О) превращается в частно-утвердительное (I).
Схема превращения суждения О:
Некоторые S не суть Р Некоторые S суть не-Р
Таким образом, чтобы превратить суждение, нужно заменить его связку на противоположную, а предикат — на понятие, противоре­чащее предикату исходного суждения. Суждение, полученное по­средством превращения, сохраняет количество, но изменяет качест­во исходного суждения. Субъект исходного суждения не изменяется.
2. Обращение.
Преобразование суждения, в результате которого субъект ис­ходного суждения становится предикатом, а предикат — субъек­том заключения, называется обращением.
3. Противопоставление предикату.
Преобразование суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предика­том — субъект исходного суждения, называется противопостав­лением предикату.
Значение умозаключений посредством противопоставления пре­дикату состоит в том, что в них выясняется отношение предметов, не входящих в объём предиката, к предметам, отражённым субъектом исходного суждения. Устанавливая отношения между этими предметами, мы уточняем наши знания, высказываем нечто новое, что не было в явной форме выражено в исходном суждении.
23. Простой категорический силлогизм. Состав силлогизма.
Широко распространенным видом опосредствованных умозак­лючений является простой категорический силлогизм, заключение в котором получается из двух категорических суждений. Простой категорический силлогизм состоит из трех категорических суждений, два из которых являются посылками, а третье — заключением.
В отличие от терминов суждения — субъекта (S) и предиката (P) — понятия, входящие в состав силлогизма, называют термина­ми силлогизма. Различают меньший, больший и средний термины.