Next: 2.1 Formalización Up: Introducción a la deducción Previous: 1.4 Licencia Contents
En esto de la lógica hay que tener perfectamente claro el significado de cada palabra. Me limitaré a recordar qué son y cómo se leen los símbolos raros que se usan en este documento.