Para determinar el término "lógica proposicional", es necesario entender claramente qué es una "declaración".
Entonces, la declaración es unaLa oración es gramaticalmente correcta, y es falsa o verdadera. Este concepto debe expresar un cierto significado. Por ejemplo, la expresión "canario es un pájaro" incluye tales componentes: "canario" y "pájaro".
Es por eso que uno de los conceptos clave y originales de la lógica son los enunciados. Estos conceptos deben describir una situación específica en la que habrá una declaración de algo o una negación.
La afirmación se considera verdadera si se describe la realidad de la situación al describirla. Por sí mismos, "mentiras" y "verdad" determinan la verdad de las declaraciones.
La lógica de las declaraciones consiste en simple yexpresiones complejas. Entonces, una declaración simple que no incluye otras expresiones en su composición se considera simple. Y a las expresiones complejas, que se obtienen de declaraciones simples, lógicamente relacionadas.
La lógica clásica de los enunciados puede serestá representado por la teoría general de la deducción. Esta es precisamente la parte de la lógica en la que se describen las conexiones lógicas de las expresiones simples que son independientes de la estructura de las emisiones.
Es imposible no mencionar la conjunción - complejodeclaración, obtenida al combinar dos expresiones simples con la palabra "y". La verdad de la conjunción se confirma por la fiabilidad de todas las declaraciones incluidas en su estructura. En el caso en que al menos uno de sus miembros sea falso, toda la conjunción tiene un signo de "mentira".
La conjunción en sí sirve para formar aquellas declaraciones complejas que se basan en tales suposiciones:
- cualquier expresión (tanto simple como compleja) puede ser verdadera o falsa;
- la verdad de una declaración compleja depende directamente de la verdad de sus enunciados y conexiones lógicas en ella.
Al conectar dos oraciones usandola palabra "o" ya es una disyunción. En la vida cotidiana, este concepto se puede ver desde el punto de vista de dos significados diferentes. Primero, es un significado no exclusivo, que implica la verdad de la expresión, independientemente de si una de las dos expresiones es verdadera o ambas. En segundo lugar, el significado exclusivo establece que una de las expresiones es verdadera y la otra es falsa.
Las fórmulas de lógica proposicional contienen especialespersonajes. Por lo tanto, en la disyunción, el símbolo V denota que la expresión es verdadera si al menos uno de los enunciados es verdadero, y es falso si ambos términos son falsos.
Al determinar la implicación, hayla afirmación de que la base de una declaración no puede ser verdadera con una consecuencia falsa. En otras palabras, este concepto asume la dependencia de la verdad o falsedad de la expresión sobre el significado de sus componentes y las formas de sus conexiones.
A pesar de que la implicación es bastante útilpara algunos propósitos, no es muy consistente con la comprensión de la relación condicional en términos generales. Por lo tanto, al abarcar muchas características importantes del comportamiento lógico de un enunciado, este concepto no puede ser su descripción adecuada.
La lógica de las declaraciones está dirigida a resolver ese problema.tarea central, como la separación de los esquemas de razonamiento correctos y equivocados y la sistematización de los primeros. Para obtener el resultado correcto, debe centrar su atención en símbolos especiales que pueden representar una u otra forma. Por lo tanto, se indica el interés en palabras tales como "o", "y", etc., que son insignificantes a primera vista.
La lógica de las declaraciones tiene incluso su propio lenguaje, que consta de los siguientes elementos:
- símbolos iniciales - variables, constantes lógicas y signos técnicos;
- fórmulas.
Para una mejor comprensión de lo que se ha dicho, es necesario ir a ejemplos concretos. Por ejemplo, la conjunción usa el símbolo &, la disyunción - / o º /.
