Разделительно-категоричные силлогизмы

AÅB – разделительное «или», или сумма по модулю 2 (или A, или B).

Альтернативы должны исключать друг друга. Должны быть перечислены все альтернативы

Условный силлогизм.

Условный силлогизм: обе посылки и вывод – условные суждения.

Условно-разделительный силлогизм.

Условно-разделительный силлогизм: одна из посылок – условное суждение, а другая – разделительное суждение.

В зависимости от числа альтернатив различают:

· дилемму – 2 альтернативы;

· трилемму – 3 альтернативы;

· тетралемму – 4 альтернативы.

Конструктивная дилемма:

Совокупность произвольных посылок и произвольных заключений называется аргументом. Проверка правильности аргументов – это проверка следования из конъюнкции посылок заключения.