Saltar al contenido principal
Library homepage
 
LibreTexts Español

Una introducción a la lógica formal (Magnus)

  • Page ID
    101631
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    Este libro trata la simbolización, la semántica formal y la teoría de la prueba para cada idioma. La discusión de la semántica formal es más directa que en muchos textos introductorios. Aunque forall x no contiene pruebas de solidez e integridad, sienta las bases para comprender por qué estas son cosas que deben probarse. El libro está diseñado para proporcionar un semestre de material para un curso universitario introductorio. Sería posible utilizar el libro sólo para la lógica sentencial, omitiendo los capítulos 4-5 y partes del capítulo 6.

    Miniatura: pixabay.com/ilustraciones/pu... ution-1721464/


    This page titled Una introducción a la lógica formal (Magnus) is shared under a CC BY-SA license and was authored, remixed, and/or curated by P.D. Magnus (Fecundity) .