Para definir el término "lógica proposicional", es necesario comprender claramente lo que es la "declaración".
Así que la declaración es una sugerencia, clasificado gramaticalmente correcto, y es falso o verdadero.Esta noción debe expresar un cierto significado.Por ejemplo, la frase "canarios tienen" incluye los siguientes componentes: "canario" y "Pájaro".
Por eso uno de los conceptos iniciales clave de la lógica y ya es decir.Estos conceptos son describir la situación específica en la que la declaración es o bien algo o negación.
Verdadero considera estar diciendo, si la realidad línea trazada de la situación cuando se circunscribe.Mismos "falsa" y "verdadero" definir una declaración verdadera.Declaraciones lógicas
consiste en expresiones simples y complejas.Así, sólo piensa en la afirmación de que no incluya en su composición otras expresiones.Y al complejo incluir expresiones que se derivan de las declaraciones simples, lógicamente interrelacionados.
lógica proposicional clásica puede ser representada por la teoría general de la deducción.Es esa parte de la lógica, lo cual no describe depende de la estructura de las oraciones conexiones lógicas expresiones simples.
Por no hablar de las conjunciones - una declaración compleja, obtenidos mediante la combinación de dos expresiones simples usando la palabra "y".La verdad de la conjunción confirma la exactitud de todas las declaraciones incluidas en su estructura.En el caso en que al menos uno de sus miembros es falso, todo el conjunto es una muestra de "una mentira".Sí
conjunto sirve para formar las declaraciones complejas, que se basan en estos supuestos:
- cualquier expresión (simples y complejos) puede ser verdadera o falsa;
- la verdad de las expresiones complejas depende de la veracidad de las declaraciones contenidas en el mismo y los enlaces lógicos en el mismo.
Cuando se unen dos declaraciones con la palabra "o" ya ha obtenido una disyunción.En la vida cotidiana, este concepto puede ser vista desde la perspectiva de dos significados diferentes.En primer lugar, es de sentido no exclusiva, lo que implica la validez de expresión, independientemente de la verdadera expresión de uno o dos tales, son ambos.En segundo lugar, lo que elimina el sentido afirma que una de las expresiones es verdadera, y el otro - es falsa.Fórmulas
de la lógica proposicional contienen caracteres especiales.Así, en el símbolo de la disyunción V denota el hecho de que la expresión es verdadera en la verdad de por lo menos uno de los estados, y falso si tanto de sus miembros son falsas.
Al determinar la implicación hay una declaración diciendo que la base no puede ser verdad en la investigación mal.En otras palabras, este concepto implica dependencia verdad o falsedad de la expresión del valor de sus componentes y métodos de sus relaciones.
A pesar del hecho de que la implicación es bastante útil para algunos propósitos, no es muy consistente con el entendimiento de la conexión acondicionado en general.Por lo tanto, en muchos rasgos importantes rodea el comportamiento lógico dispositivo diciendo que este concepto no puede ser una descripción adecuada de la misma.
lógica de declaraciones destinadas a hacer frente a este problema central, como la separación de los esquemas de razonamiento correcto e incorrecto y sistematización de la primera.Para obtener el resultado correcto, debe centrarse en los caracteres especiales que pueden representar una u otra forma.De ahí el interés designados en tales palabras aparentemente insignificantes como "y", "y", etc.Declaraciones lógicas
incluso tiene su propio lenguaje, que consta de los siguientes elementos:
- los personajes originales - variables, constantes y señales técnicas lógicas;
- fórmulas.
Para entender lo que se ha dicho debe ir a ejemplos específicos.Por ejemplo, utilizando el símbolo conjunción & amp;, disyunción - \ / o \ º /.
