Estos permiten una comprobación de la validez o invalidez de un silogismo.