Lógica y cálculo proposicional

Lógica y cálculo proposicional

1. Proposiciones y operadores lógicos

   • La Proposición
     • Oración que tiene valor de verdad : puede seer falsa o verdadera
       • Es fundamental en la lógica
         • Se clasifican en
           • compuestas o mpleculares
             • Pitagora era griego y geómetra
           • Simples o atómicas
             • Ej: p: el oro es un metal precioso

2. Traducción del lenguaje natural al simbolico y del lenguaje simbolico al antural

   • Lenguaje natural
     • Lenguaje simbólico
       • Traducir
         • Aptitud de traducir: del lenguaje natural al simbolico.
       • Esta constituida ´por simbolos
     • Lengua materna

3. Operadores Lógicos

   • Es el valor de verdad de una proposición
     • Negación
       • p será falsa cuando se niegue una proposción V y será verdadera cuando se niegue una proposición F
         • Algunas formas de negación:
           • No, nunca, ni, jamás,, es falso, no e scierto, no ocurre, de ninguna manera, de ninguna forma, por nadade, en lo abosoluto, entre otras.
             • Tabla de verdad de la negación
               • Doble negación: Algunas formas son:
                 • no es cierto que no, no ocurre que no, no es falso que no, no es cierto que ocurre que no, no ocurre que, no es cierto que jamás etc,
                   • Conjunción
                     • Disyunción Inclusiva
                       • Disyunción exclusiva
                         • Algunas formas exclusiva son: o, bien, u o
                       • Algunas formas son: o, bien, u,

4. Proposiciones condicionales

   • Condicionl o implicación
     • Algunas formas: Si, entonces, se sigue, por tanto, se infiere, de ahi que, se deduce, implica,
   • Bicondicional o equivalencia
     • Formas: si y solo si, entonces y solo entonces, es idéntico, equivale a , es equivalente a,

5. Tablas de verdad

   • Ludwig Josef Johann (1859-1951
     • Sirve para determiar las condciones d verdad de u enunciado.

Bilder und Dateien der Mindmap