Преобразования простых высказываний

(непосредственные умозаключения)

Значение истинности ысказываний – значениями истинности высказываний в двузначной логике являются предикаты «истинно» и «ложно», вместе составляющие противоречие:

Умозаключения по логическому квадрату – непосредственные заключения, позволяющие сделать вывод из любого простого атрибутивного высказывания, взятого в качестве посылки, на основании закономерностей в отношениях между высказываниями (« » - знак отрицания высказываний).
Например:

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

Обращение (конверсия) – непосредственное умозаключение, в котором вывод получается путем постановки предиката на место субъекта, а субъекта на место предиката, причем меняется количественная характеристика высказывания, а качественная характеристика остается прежней.

Превращение (обверсия) – непосредственное умозаключение, при котором в исходном высказывании предикат заменяется его отрицанием ( ), и наоборот; при этом качество высказывания меняется на противоположное, а количественная характеристика остается прежней.

Противопоставление предикату (контрапозиция) – непосредственное умозаключение, в котором субъект вывода – понятие, противоречащее предикату посылки; предикат вывода – субъект посылки; связка меняется на противоположную. То есть сначала производится превращение посылки, а затем полученное высказывание обращается. Частноутвердительные высказывания посредствомпротивопоставления предикату не преобразуются.