Lógica proposicional
Una proposición lógica, compuesta por varias proposiciones representadas con letras y unidas entre sí con símbolos lógicos, que tenga la propiedad de que cuando se reemplazan las letras por proposiciones reales siempre resulta verdadera aunque algunas o todas esas proposiciones sean falsas, es lo que se llama una LEY LÓGICA.
Es el más elemental porque es el más sencillo. Es básico, porque sirve de base
al resto del edificio de la Lógica.
La tarea de la Lógica proposicional consiste en ocuparse de estudiar la validez formal
de los razonamientos tomando en bloque las proposiciones que los forman, es decir, sin
hacer un análisis de tales proposiciones.
Una proposición es tomada en bloque cuando no se tienen en cuenta los elementos
que la integran, pasando a ser considerada como un todo o unidad lingüística básica.
Palabras Claves:
- lógica proposicional
- proposiciones
- conectores
- tablas de verdad

No hay comentarios.:
Publicar un comentario