1. Introducción
El cálculo proposicional, o lógica proposicional, es una rama fundamental de la lógica que se centra en la manipulación y combinación de proposicionesproposiciónUn enunciado que es verdadero o falso, pero no ambas cosas.Leer la entrada completa, declaraciones que pueden ser definitivamente declaradas verdaderas o falsas. Establece las bases para comprender sistemas lógicos más complejos y encuentra aplicaciones en varias disciplinas.
2. Proposiciones
Propositions are declarative sentences that assert a fact about the world, which can either be true or false, such as "It is raining".
3. Valores de Verdad: ⊤ y ⊥
En lógica proposicional, usamos símbolos especiales para representar valores de verdadvalor de verdadUno de los dos valores que puede tomar una proposición: verdadero o falso.Leer la entrada completa: ⊤ (superior) representa VERDADERO y ⊥ (inferior) representa FALSO. Estos símbolos son estándar en lógica formal y aparecen en tablas de verdadtabla de verdadUna fila por asignación de valores, con el valor de la fórmula en cada una.Leer la entrada completa a lo largo de esta guía.
4. Tablas de Verdad
Las tablas de verdad son métodos sistemáticos para determinar el valor de verdad de expresiones lógicas basadas en los valores de verdad de sus proposiciones constituyentes, ofreciendo una representación visual clara de las operaciones lógicas. Pueden verse así:
| p | q | p → q |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
5. Operadores Lógicos
Los operadores lógicosconectiva lógicaUn símbolo que construye una proposición compuesta a partir de otras.Leer la entrada completa son símbolos utilizados para conectar proposiciones o alterar sus valores de verdad, formando la base para construir expresiones lógicas complejas. Los operadores principales incluyen:
Y ∧
Verdadero si ambas proposiciones que combina son verdaderas. ∧
| p | q | p ∧ q |
|---|---|---|
| ⊥ | ⊥ | ⊥ |
| ⊥ | ⊤ | ⊥ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
O ∨
Verdadero si al menos una de las proposiciones combinadas es verdadera. ∨
| p | q | p ∨ q |
|---|---|---|
| ⊥ | ⊥ | ⊥ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊤ |
| ⊤ | ⊤ | ⊤ |
IMPLICA →
Verdadero excepto cuando la primera proposición es verdadera y la segunda es falsa. →
| p | q | p → q |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
BICONDICIONAL ↔
Verdadero si ambas proposiciones son igualmente verdaderas o falsas. ↔
| p | q | p ↔ q |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊥ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
6. Expresiones
Las expresiones son declaraciones más complejas formadas al unir proposiciones con operadores lógicos, permitiendo la representación de relaciones lógicas matizadas.
7. Equivalencias Lógicas
Las equivalencias lógicas son expresiones que mantienen el mismo valor de verdad bajo todas las condiciones posibles. Incluyen leyes fundamentales como la Ley de Identidad, la Ley de No ContradiccióncontradicciónUna fórmula falsa bajo toda interpretación.Leer la entrada completa, y las leyes de De Morganleyes de De MorganLa negación cambia ∧ por ∨ y ∨ por ∧: ¬(p ∧ q) ≡ ¬p ∨ ¬q.Leer la entrada completa.
8. Demostraciones
Las demostraciones en el cálculo proposicional implican demostrar la verdad de una proposición basada en axiomas (verdades asumidas), verdades previamente establecidas, y reglas de inferenciaregla de inferenciaUn paso autorizado de fórmulas ya obtenidas a una nueva.Leer la entrada completa. Son cruciales para validar argumentosargumentoUn conjunto de premisas ofrecidas en apoyo de una conclusión.Leer la entrada completa lógicos y teoremas.
9. Aplicaciones
El cálculo proposicional no es solo un marco teórico sino que también tiene aplicaciones prácticas en ciencias de la computación para verificación de software, en matemáticas para formalizar demostraciones, y en filosofía para analizar argumentos. Sus principios sustentan el estudio de sistemas lógicos más avanzados, como la lógica de predicadoslógica de predicadosLógica que mira dentro de las proposiciones, a los objetos y sus propiedades.Leer la entrada completa, y juegan un papel vital en el desarrollo del razonamiento lógico y habilidades de pensamiento crítico.