LÓGICA DE ENUNCIADOS
La Lógica proposicional o de enunciados es el apartado más elemental y básico de la
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.
Por ejemplo: una proposición como “Los gatos son mamíferos” puede ser simbolizada en Lógica de los siguientes modos:
“p” [ Se lee «p» ] => LÓGICA PROPOSICIONAL
“S -A- P” [Se lee «Todos los S son P» ] => LÓGICA SILOGÍSTICA
“∧x (Gx → Mx)” [Se lee «Para todo ‘x’, si ‘x’ es ‘G’, entonces ‘x’ es ‘M’»]=>
LÓGICA DE PREDICADOS
Una proposición es simple si no puede descomponerse en partes que a su vez sean
proposiciones. También se la denomina proposición atómica. Ejemplos: “Los gatos sonmamíferos”, “Pedro viene con Luis”.
También puede ser llamada molecular.
Ejemplos: “Los gatos son mamíferos, pero a mí
me gustan más los pájaros exóticos”, “Si Pedro viene con Luis y trae comida, nos
iremos todos al campo”.
No hay comentarios:
Publicar un comentario