/ / Lógica de sentencias.

Lógica de afirmaciones

Para determinar el término "lógica de las declaraciones", es necesario entender claramente qué es la "declaración".

Итак, высказывание представляет собой Una oración que es gramaticalmente correcta y es falsa o verdadera. Este concepto debe expresar un cierto significado. Por ejemplo, la expresión "canario es un ave" incluye tales partes constituyentes: "canario" y "ave".

Es por eso que una de las claves, los conceptos iniciales de la lógica y son las afirmaciones. Estos conceptos deben describir una situación específica en la que habrá una declaración de algo o una negación.

Se considera que una afirmación es verdadera si la situación se puede rastrear a la realidad de la situación cuando se describe. Por sí mismos, "falso" y "verdad" determinan la verdad de las afirmaciones.

La lógica de los enunciados consiste en simples yexpresiones complejas. Por lo tanto, una declaración que no incluye otras expresiones se considera simple. Y las expresiones complejas incluyen expresiones derivadas de declaraciones simples y lógicamente relacionadas.

Классическая логика высказываний может быть 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 expresiones simples que no dependen de la estructura de las declaraciones.

Нельзя не упомянуть о конъюнкции – сложном una declaración derivada de la combinación de dos expresiones simples con la palabra "y". La verdad de una conjunción se confirma por la credibilidad de todas las declaraciones incluidas en su estructura. En el caso de que al menos uno de sus miembros sea falso, toda la conjunción tiene el signo "falso".

La propia conjunción se utiliza para formar esas oraciones complejas que se basan en tales suposiciones:

- cualquier expresión (tanto simple como compleja) puede ser verdadera o falsa;

- la verdad de una expresión compleja depende directamente de la verdad de sus declaraciones y conexiones lógicas en ella.

Al conectar dos declaraciones utilizandoLa palabra "o" ya es una disyunción. En la vida cotidiana, este concepto puede considerarse desde la perspectiva de dos significados diferentes. Primero, es un sentido no exclusivo que implica la verdad de una expresión, independientemente de si uno de los dos es verdadero o ambos. En segundo lugar, el significado exclusivo afirma que una de las expresiones es verdadera y la otra es falsa.

Las fórmulas de lógica proposicional contienen especiales.personajes Así, en una disyunción, el símbolo V denota que la expresión es verdadera si al menos una de las afirmaciones es verdadera, y falsa si ambos miembros son falsos.

Al determinar la implicación hayla declaración de que la base de la declaración no puede ser verdadera bajo una investigación falsa. En otras palabras, este concepto implica la dependencia de la verdad o falsedad de una expresión en el significado de sus componentes y los métodos de sus conexiones.

Несмотря на то, что импликация достаточно полезна para algunos propósitos, no es muy consistente con la comprensión de la conexión condicional en general. Por lo tanto, cuando abarca muchas características importantes del comportamiento lógico de una expresión, este concepto no puede ser su descripción adecuada.

La lógica de las afirmaciones está dirigida a resolver talesTarea central, como la separación de patrones correctos e incorrectos de razonamiento y sistematización del primero. Para obtener el resultado correcto, debe centrar su atención en caracteres especiales que pueden representar una forma particular. De ahí el interés en palabras tan insignificantes a primera vista como "o", "y", etc.

La lógica de las afirmaciones incluso tiene su propio lenguaje, que consta de los siguientes elementos:

- símbolos fuente - variables, constantes lógicas y signos técnicos;

- fórmulas.

Para una mayor comprensión de lo que se ha dicho, es necesario cambiar a ejemplos concretos. Por ejemplo, una conjunción usa el símbolo &, una disyunción - / o º /.