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)
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
Proposiciones condicionales
Condicional o Implicaciòn
Bicondicional o Equivalencia
Tablas de verdad
Construcciòn de las tablas de verdad
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