Es un sistema formal diseñado para analizar ciertos tipos de argumentos