NDICE ALFABTICO

Sistema matemtico simple, 247

Tablas de certeza, 164 (Resumen), 164

Tautologa, 172 (Equivalencia), 174 (Implicacin), 174 Teoremas, 248 con cuantificadores universales,

274 con variables, 270

Trminos, 184 de enlace, 2

(Dominante), 22 (Parntesis), 22 (Potencia), 34 (Proposiciones), 2 (Smbolos), 12

Validez de conclusiones, 112 Valores de certeza, 113

(Diagrama), 120