La lógica silogística trata de establecer las leyes que garantizan que, de la verdad de los "juicios comparados," o premisas, se pueda obtener con garantía de verdad un nuevo "juicio verdadero," o conclusión.