Inferență condiționat-separativă (și polilemă , inferență lematică ) - inferență , ale cărei premise constau dintr-o judecată separativă și mai multe condiționale . Cazurile speciale cu două și trei enunțuri condiționate au propriile nume - dilemă și , respectiv , trilemă .
Exemplu [1] :
Dacă o activitate generează fapte utile, ar trebui făcută. Dacă o activitate dezvoltă creierul, ar trebui făcută. (propoziții condiționate) Știința fie generează fapte utile, fie dezvoltă creierul. (judecată separată) ---- Deci știința ar trebui făcută . (concluzie)În logică, polilemele pot fi constructive (afirmare) sau distructive (negare), precum și simple sau complexe. Astfel, se formează patru variante de polileme:
Într-o polilemă constructivă simplă, consecințele în enunțurile condiționale sunt aceleași, deci concluzia se dovedește a fi categorică ; într-unul constructiv complex, consecințele sunt diferite și, prin urmare, concluzia este o afirmație disjunctivă. Într-una simplă distructivă, temeiurile sunt deja aceleași, prin urmare concluzia se dovedește a fi categorică negativă; într-una complexă distructivă, temeiurile sunt diferite și, prin urmare, concluzia este o afirmație disjunctivă negativă.