2.1
Tabla de verdad para las conectivas binarias.
................. 29
2.2
Conectivas binarias más notables. .............................
30
2.3
Algunas fórmulas lógicamente equivalentes. .................... 37
5.1
Lenguaje natural y su formalización. ..........................
113
5.2
Enunciados categóricos y su formalización. ....................
129
8.1
Cuantificadores numéricos. ....................................
206
9.1
Operadores modales y su interdefinibilidad.
................... 244
9.2
Relaciones entre los sistemas modales. ........................
252