Inferencia condicional-separativa (también polilema , inferencia lemática ) - inferencia , cuyas premisas consisten en un juicio separativo y varios condicionales . Los casos especiales con dos y tres declaraciones condicionales tienen sus propios nombres: dilema y trilema, respectivamente.
Ejemplo [1] :
Si una actividad genera hechos útiles, debe realizarse. Si una actividad desarrolla el cerebro, debe hacerse. (proposiciones condicionales) La ciencia genera hechos útiles o desarrolla el cerebro. (juicio separativo) ---- Entonces se debe hacer ciencia . (conclusión)En lógica, los polilemas pueden ser constructivos (afirmativos) o destructivos (negativos), así como simples o complejos. Así, se forman cuatro variantes de polilemas:
En un polilema constructivo simple, los consecuentes en los enunciados condicionales son los mismos, por lo que la conclusión resulta ser categórica ; en uno constructivo complejo, los consecuentes son diferentes, y por lo tanto la conclusión es un enunciado disyuntivo. En una destructiva simple, los fundamentos ya son los mismos, por lo que la conclusión resulta ser categórica negativa; en uno destructivo complejo, los motivos son diferentes y, por lo tanto, la conclusión es una declaración disyuntiva negativa.