Logìca proposicional

Logìca proposicional

1. la logìca proposicional es un sistema logìco encargado de estudiar el razonamiento conforme a proposiciones un lenguaje logico se construye mediante un alfabeto de simbolosy defenicion de un conjuntode cadenas de simbolos de dicho alfabeto llamada formulas bien formadas (abreviadamente)

2. Proposiciones y Operadores Logìcos

   • Proposiciones Simples o Atòmicas
   • Proposiciones Compuestas o Moleculares
   • Operadores de negaciòn
   • Operadores doble negaciòn
   • Conjunciòn
   • Disyunciòn inclusiva
   • Disyunciòn exclusiva

3. Proposiciones condicionales

   • Condicional o Implicaciòn
   • Bicondicional o Equivalencia

4. Tablas de verdad

   • Construcciòn de las tablas de verdad

5. Los argumentos : premisas y conclusiones

   • Es habitual representar los argumentos haciendo un listado de las premisas y la conclusiòn separando la ùltima mediante una linea como se observa
     • Premisas
       • Proposiciones 1
       • Proposiciones 2
         • Conclusiòn

Images and files in the map