Lógica (Filosofia)

LA LÓGICA DE ENUNCIADOS: Explicación de por qué la lógica de enunciados es la base de toda la lógica.La lógica de enunciados o lógica de preposiciones, puesde ella dependen las demás partes de lalógica, que vienen a superponerse o construirse sobre aquella.Rasgo característico de la lógica de enunciados:Lo que caracteriza a la lógica de enunciados, frente a todos las demás, es que en ella seinfieren enunciados sin analizar internamente a partir de otros enunciados también internamente inanalizables/La lógica de enunciados es una clase de lenguaje formalizados y, en cuanto a tal, consta delos siguientes elementos.//Símbolos primitivos: hay dos clases.- Variables de enunciados: También llamadas variables enunciativas o proposicionales, se denominan así porque sustituyen a enunciados oproposiciones, que pueden ser verdaderas o falsas (principio de bivalencia). Estas variables se representan simbólicamente mediante letras minúsculas del alfabeto a partir de la p: p, q, r → p, q, r, …-Constantes lógicas: Representan la parte invariable de los enunciados. También se denominan conectivas porque sirven para enlazar o unir enunciados entre sí, dando así lugar a enunciados máscomplejos. Hay cinco conectivos lógicos fundamentales. Pueden ser monódicas (que son aquellas que afectan a una sola proposición -simple o compleja-), diédicas (que son las que unen o conectan entre síproposiciones ya sean simples o complejas). Sólo hay una conectiva monódica, la negación: las demás son diédicas.* La negación – Es una partícula lógica que, aplicada a un enunciado, simple o complejo,modifica sus valores de verdad.* La conjunción – Una conjunción es verdadera cuando los enunciados que la componen son verdaderos y falsos en los demás casos.* La disyunción – Dos tipos: excluyente y noexcluyente. La disyunción es verdadera cuando al menos uno de los enunciados que la componen es verdadero.* El condicional (implicación material) – Un condicional es verdadero cuando no ocurre que...