Top Banner
288

Suppes, Patrick Y Hill, Shirley - Primer Curso de Logica Matematica

Dec 18, 2015

Download

Documents

7ordan

jhkhjk
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
  • 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