Сорит – полисиллогизмнинг қисқартирилган кўринишидир.
Унинг кўриниши қуйидагича:
Ҳамма А – Б. Ҳамма Б – В. Ҳамма В – Г. Ҳамма Г – Д. Ҳамма А – Д. Эпихейрема нима?
Эпихейрема – мураккаб қисқартирилган силлогизм бўлиб, унинг ҳар икки асоси энтимемалардан ташкил топган бўлади.
Эпихейреманинг тузилиши қуйидагича:
М – Р дир, чунки М – N дир. S – М дир, чунки S – О дир. S – Р дир. Шартли хулоса чиқариш нима?
Шартли хулоса чиқариш деб ҳар икки асоси ёки асосларидан бири шартли ҳукм бўлган силлогизмга айтилади.
Шартли хулоса чиқаришнинг қандай турлари бор?
Шартли хулоса чиқаришнинг соф шартли хулоса чиқариш тури ва шартли-қатъий хулоса чиқариш тури бўлади.
Соф шартли хулоса чиқариш нима?
Соф шартли хулоса чиқариш деб, ҳар икки асоси ва хулосаси шартли ҳукм бўлган силлогизмга айтилади. Унинг формуласи қуйидагича:
p → q
q → r ёки [(p → q) ∧ (q → r)]→ (p → r) p → r p → q
¬p → q ёки [(p → q)(¬p → q)]→q q Шартли-қатъий хулоса чиқариш нима?
Шартли-қатъий хулоса чиқариш деб, катта асоси шартли ҳукм, кичик асоси оддий қатъий ҳукм бўлган силлогизмга айтилади. Унинг икки тури бор: тасдиқловчи модусли тури (modus ponens) ва инкор этувчи модусли тури (modus tollens).Формулалари қуйидагича:
modus ponens
