Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica proposicional - Coggle Diagram
Lógica proposicional
Elementos
-
-
Variables: son todos aquellos signos que se utilizan para poder referirse a un determinado denunciado o a una proposición. Son los que se encarguen entonces de representar afirmaciones sencillas y como variables se pueden utilizar las letras p, q y r. Son también conocidas con el nombre de fórmulas atómicas porque no permiten ningún tipo de descomposición.
Paréntesis: esos paréntesis son elementos fundamentales de la lógica proposicional porque son los que tienen la función de poder marcar el orden en el que se deben de realizar las diferentes operaciones.
La conjunción: (p∧q = p y q)
La disyunción: (p ∨ q = p o q)
La implicación: (p→q = Si p, entonces q )
La coimplicación: (p ↔ q = Si y sólo si p, entonces q)
La negación: (¬ p = No p)
Operadores lógicos: son una serie de símbolos que hacen posible el construir formaciones complejas y entre ellos encontramos los siguientes:
-
-
Reglas
Las principales reglas que pueden ser aplicadas a la lógica proposicional se mencionan a continuación:
-
-
-
-
-
-
Tabla
En la lógica proposicional se utilizan una serie de tablas que se conocen con el nombre de tablas de verdad las cuales se encargan de mostrar el valor de verdad que tiene una proposición compuesta combinación de valores de verdad que puedan ser asignados a sus componentes. Para poder elaborar las es necesario tomar en cuenta los valores verdaderos, los valores falsos, las variables, la negación, confusión y disyunción.
-
-
La lógica es una ciencia que se encarga de estudiar las diferentes formas del pensamiento y cómo éstas se encuentran estructuradas para luego poder establecer una serie de leyes y de principios que sean válidos para así obtener criterios de verdad. En caso de las matemáticas, la lógica proposicional se refiere a el uso de diferentes símbolos por medio de tablas de verdad que nos pueden indicar lo que es falso o verdadero.
La lógica proposicional es una rama de la lógica clásica que se encarga de analizar y estudiar las diferentes variables proposicionales o la sentencias lógicas así como sus posibles implicaciones, evaluaciones relacionadas con la verdad y el nivel absoluto de la misma.
-