Feltételes-szeparatív következtetés (és polylemma , lemmatic inference ) - következtetés , amelynek premisszái egy szeparatív ítéletből és több feltételes ítéletből állnak . A két és három feltételes utasítást tartalmazó speciális eseteknek saját neveik vannak - dilemma és trilemma .
[1] példa :
Ha egy tevékenység hasznos tényeket generál, meg kell tenni. Ha egy tevékenység fejleszti az agyat, azt meg kell tenni. (feltételes javaslatok) A tudomány vagy hasznos tényeket generál, vagy fejleszti az agyat. (elválasztó ítélet) ---- Tehát a tudományt meg kell csinálni . (következtetés)A logikában a polilemmák lehetnek konstruktív (megerősítő) vagy destruktív (tagadó), valamint egyszerűek vagy összetettek. Így a polilemmák négy változata jön létre:
Egy egyszerű konstruktív polilemmában a feltételes állítások következményei megegyeznek, így a következtetés kategorikusnak bizonyul ; összetett konstruktívban a következmények eltérőek, ezért a következtetés diszjunktív állítás. Egy egyszerű destruktívnál az indokok már ugyanazok, ezért a következtetés negatív kategorikusnak bizonyul; összetett destruktív esetben az indokok eltérőek, ezért a következtetés negatív diszjunktív állítás.