Una lógica de conclusiones múltiples es aquella en la que la consecuencia lógica es una relación , , entre dos conjuntos de oraciones (o proposiciones ). se interpreta típicamente en el sentido de que siempre que cada elemento de es verdadero, algún elemento de es verdadero; y siempre que cada elemento de es falso, algún elemento de es falso.
Esta forma de lógica fue desarrollada en la década de 1970 por DJ Shoesmith y Timothy Smiley [1], pero no ha sido ampliamente adoptada.
Algunos lógicos prefieren una relación de consecuencia de conclusiones múltiples sobre la relación más tradicional de conclusión única, sobre la base de que esta última es asimétrica (en el sentido informal, no matemático) y favorece la verdad sobre la falsedad (o la afirmación sobre la negación).
