Suppes, Patrick Y Hill, Shirley - Primer Curso de Logica Matematica
288
description
jhkhjk
Transcript of Suppes, Patrick Y Hill, Shirley - Primer Curso de Logica Matematica
-
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