Ab absurdo
(от лат.) - от нелепого; искодить от нелепого при доказательстве чего-либо.
суждения, которые могут быть одновременно истинными, но не могут быть одновременно ложными. Среди простых — это частные суждения с одинаковыми субъектами и предикатами, но различные по качеству (I и О).
вывод из одних суждений других:
между частными и общими суждениями одного характера (утвердительными...
и частноотрицательными суждениями действуют отношения субконтрарности, представленные нижней горизонтальной...
Если посылка является утвердительным суждением, то посредством превращения получают отрицательное суждение...
Например, из суждения «Все параллельные прямые на плоскости не пересекаются» может быть получено суждение...
частноотрицательное суждение преобразуется в частноутвердительное,
для частноутвердительных суждений
суждения....
Неполная совместимость – отношение субконтрарности....
Отношение субконтрарности между суждениями указывает на то, что эти суждения не могут быть одновременно...
Например, суждения: «Некоторые кошки не могут мяукать» и «Некоторые кошки могут мяукать» являются субконтрарными...
Отношение субконтрарности показывает, что два суждения не могут быть одновременно ложными, но они могут
(от лат.) - от нелепого; искодить от нелепого при доказательстве чего-либо.
(от греч. antitesis - противоположение) – суждение, противоречащее тезису доказательства. Используется в косвенном доказательстве тезиса.
это упорядоченное множество М, взятое с двумя бинарными операциями: объединением и пересечением.