Podmíněně-separativní inference (též polylema , lemmatická inference ) - inference , jejíž premisy se skládají z jednoho separativního úsudku a několika podmíněných úsudků . Speciální případy se dvěma a třemi podmíněnými příkazy mají svá vlastní jména - dilema a trilema .
Příklad [1] :
Pokud nějaká činnost vytváří užitečná fakta, měla by být provedena. Pokud nějaká činnost rozvíjí mozek, měla by být provedena. (podmíněné návrhy) Věda buď vytváří užitečná fakta, nebo rozvíjí mozek. (oddělený rozsudek) ---- Takže by se měla dělat věda . (závěr)V logice mohou být polylemata konstruktivní (potvrzující) nebo destruktivní (popírání), stejně jako jednoduchá nebo složitá. Vznikají tak čtyři varianty polylemat:
V jednoduchém konstruktivním polylematu jsou důsledky v podmíněných příkazech stejné, takže závěr se ukazuje jako kategorický ; v komplexním konstruktivním jsou důsledky různé, a proto je závěr disjunktivním výrokem. V jednoduchém destruktivním jsou důvody již stejné, proto se závěr ukazuje jako negativní kategorický; u komplexního destruktivního jsou důvody odlišné, a proto je závěr negativní disjunktivní výrok.