Logica y calculo proposicional

Logica y calculo proposicional

1. LOGICA

   • LOGICA FORMAL QUE ESTUDIA LOS PRINCIPIOS DEL PENSAMIENTO
   • logica inferencial o logica formal
   • Logica simbolica o matematica
     • SIMBOLOS
     • Conectivos logicos
       • Esquematizacion de los conectores logicos

2. PROPOSICION

   • TODA EXPRESION LINGUISTICA QUE SE AFIRMA SI ES VERDADERO O FALSO
     • SISTEMA QUE PERMITE VERIFICAR SI EL RAZONAMIIENTOES CORRECTO O INCORRECTO
   • Estas no son proposiciones:
     • Exclamativas
       • Interrogativas
         • Desiderativas: Expresan un deseo
           • Imperativas: Expresan un mandato, una orden o un ruego

3. Valor de verdad para una proposicion atomica

   • F si es falso
   • V si es verdadero

4. PROPOSICION ATOMICA

   • No tiene conectivos logicos
     • EJEMPLO: tres es mayor que cuatro.

5. PROPOSICION MOLECULAR

   • Contiene al menos un conectivo logico
     • EJEMPLO: juan tiene 20 años "y" es hombre

Images and files in the map