Дилемма. Умозаключения прямые: умозаключения, в которых заключение выводится из некоторого множества высказываний-посылок. Обычно выделяют четыре вида прямых умозаключений: чисто условные умозаключения (обе посылки и заключение представляют собой условные высказывания, т.е. сложные высказывания, составленные из простых высказываний с помощью логического союза «если…, то…», который в логике часто обозначается символом →. А→В В→С черта А→С); условно-категорические умозаключения ( двухпосылочное умозаключение,одна посылка- условным высказыванием, а другая -категорическое суждение. 2 модуса: утверждающий р→ q, р_ черта q; отрицающий Р→ q, ┐q_ черта ┐р); разделительно-категорические умозаключения ( двухпосылочное умозаключение, образованное из двух простых высказываний с помощью разделительного союза «… или …» (дизъюнкции, обычно обозначаемой символом ), в то время как вторая посылка и заключение – простые высказывания.); условно-разделительные умозаключения (предположение. одна из посылок является разделительным высказывание, а остальные – условными высказываниями. Различают: дилеммы (одна из посылок является разделительным суждением с двумя альтернативами, а вторая состоит из одного или двух условных суждений. Различают дилеммы простые и сложные, конструктивные и деструктивные), трилеммы (одна из посылок – разделительное суждение с тремя альтернативами, а вторая содержит три условных посылки.), полилеммы (одна из посылок – разделительное суждение с более, чем тремя вариантами выбора, а вторая состоит из более, чем трех условных суждений)).