Explora el código para entender mejor los conceptos
Traduce argumentos a esquema de deducción.
Analiza la validez de varios argumentos.