LOGICA PROPOSICIONAL
la lógica proposicional es una rama de la lógica que se ocupa de las proposiciones, que
son afirmaciones que pueden ser verdaderas o falsas.
Elementos básicos
1. Proposición: Una declaración que puede ser verdadera (V) o falsa (F).
o Ejemplo: "La tierra es un planeta" (V).
2. Conectivos lógicos: Se utilizan para combinar proposiciones. Los principales
son:
o Negación (¬): Invierte el valor de verdad.
Ejemplo: ¬P (si P es verdadero, ¬P es falso).
o Conjunción (∧): Verdadera si ambas proposiciones son verdaderas.
Ejemplo: P ∧ Q es verdadero solo si P y Q son verdaderos.
o Disyunción (∨): Verdadera si al menos una de las proposiciones es
verdadera.
Ejemplo: P ∨ Q es verdadero si P es verdadero, Q es verdadero, o
ambos.
o Condicional (→): "Si P entonces Q". Es falsa solo si P es verdadera y Q
es falsa.
Ejemplo: P → Q es falso si P es verdadero y Q es falso.
o Bicondicional (↔): Verdadero si ambas proposiciones tienen el mismo
valor de verdad.
Ejemplo: P ↔ Q es verdadero si ambas son verdaderas o ambas
son falsas.
Ejemplos prácticos
1. Proposiciones:
o P: "El sol brilla." (V)
o Q: "Está lloviendo." (F)
2. Conectivos:
o Negación: ¬P ("El sol no brilla.") sería falso (F).
o Conjunción: P ∧ Q ("El sol brilla y está lloviendo.") sería falso (F).
o Disyunción: P ∨ Q ("El sol brilla o está lloviendo.") sería verdadero (V).
o Condicional: P → Q ("Si el sol brilla, entonces está lloviendo.") sería
falso (F).
o Bicondicional: P ↔ Q ("El sol brilla si y solo si está lloviendo.") sería
falso (F).
Tablas de verdad
Las tablas de verdad son una herramienta útil para mostrar el valor de verdad de
proposiciones compuestas. Aquí tienes un ejemplo de la tabla de verdad para la
conjunción (∧):
Aplicaciones
La lógica proposicional se utiliza en diversas áreas, como:
Matemáticas (demostraciones)
Filosofía (análisis de argumentos)
Ciencias de la computación (programación lógica y diseño de circuitos)
ENUNCIADOS, PROPOSICIONES Y SIMBNOLOGÍA:
Enunciados
Un enunciado es una afirmación que puede ser clasificada como verdadera o falsa.
No todas las oraciones son enunciados; por ejemplo, preguntas, órdenes o
exclamaciones no se consideran enunciados.
Ejemplos de enunciados:
"El cielo es azul." (Verdadero)
"2 + 2 = 5." (Falso)
"Madrid es la capital de España." (Verdadero)
Proposiciones
Una proposición es un tipo especial de enunciado que tiene un valor de verdad
definido (verdadero o falso). Todas las proposiciones son enunciados, pero no todos
los enunciados son proposiciones.
Ejemplos de proposiciones:
"La Tierra gira alrededor del sol." (V)
"El agua hierve a 50 grados Celsius." (F)
Simbología en lógica proposicional
La lógica proposicional utiliza símbolos para representar proposiciones y
conectivos lógicos, lo que permite realizar operaciones y crear expresiones más
complejas. Aquí te muestro la simbología más común:
1. Proposiciones simples: Se suelen representar con letras mayúsculas.
o P: "Hoy es martes."
o Q: "Está lloviendo."
2. Conectivos lógicos:
o Negación (¬): Invierte el valor de verdad.
¬P: "No es cierto que hoy es martes."
o Conjunción (∧): "Y".
P ∧ Q: "Hoy es martes y está lloviendo."
o Disyunción (∨): "O".
P ∨ Q: "Hoy es martes o está lloviendo."
o Condicional (→): "Si... entonces...".
P → Q: "Si hoy es martes, entonces está lloviendo."
o Bicondicional (↔): "Si y solo si".
P ↔ Q: "Hoy es martes si y solo si está lloviendo."
CONECTORES LOGICOS Y FORMULAS PROPOSICIONALES:
Conectores Lógicos
Los conectores lógicos son símbolos que se utilizan para combinar proposiciones y
formar proposiciones más complejas. Aquí te presento los conectores más
comunes:
1. Negación (¬):
o Descripción: Invierten el valor de verdad de una proposición.
o Ejemplo:
Si P es "Está lloviendo" (V), entonces ¬P es "No está
lloviendo" (F).
2. Conjunción (∧):
o Descripción: Es verdadera solo si ambas proposiciones son
verdaderas.
o Ejemplo:
P ∧ Q es "Está lloviendo y hace frío".
o Tabla de verdad:
Disyunción (∨):
Descripción: Es verdadera si al menos una de las proposiciones es verdadera.
Ejemplo:
o P ∨ Q es "Está lloviendo o hace frío".
Tabla de verdad:
Condicional (→):
Descripción: "Si P entonces Q". Es falso solo si P es verdadera y Q es falsa.
Ejemplo:
o P → Q es "Si está lloviendo, entonces hace frío".
Tabla de verdad:
Bicondicional (↔):
Descripción: "P si y solo si Q". Es verdadera si ambas proposiciones tienen el
mismo valor de verdad.
Ejemplo:
o P ↔ Q es "Está lloviendo si y solo si hace frío".
Tabla de verdad:
Fórmulas Proposicionales
Una fórmula proposicional es una combinación de proposiciones simples y conectores
lógicos. Se pueden usar para expresar afirmaciones complejas.
Ejemplos de fórmulas proposicionales
1. Fórmula simple:
o P: "El cielo es azul."
2. Fórmula compuesta:
o P∧QP ∧ QP∧Q: "El cielo es azul y el sol brilla."
o P→QP → QP→Q: "Si el cielo es azul, entonces es de día."
3. Fórmula compleja:
o (P∧Q)∨(¬R)(P ∧ Q) ∨ (¬R)(P∧Q)∨(¬R): "El cielo es azul y el sol
brilla, o no está lloviendo."
Evaluación de fórmulas proposicionales
Para evaluar el valor de verdad de una fórmula proposicional, se pueden usar tablas de
verdad. Por ejemplo, para la fórmula P∧(Q∨R) P ∧ (Q ∨ R)P∧(Q∨R):
1. Definimos las proposiciones:
o P: "Está lloviendo."
o Q: "Hace frío."
o R: "Hay sol."
2. Construimos la tabla de verdad:
TABLAS DE VERDAD Y EL VALOR DE LA VERDAD:
Tablas de Verdad
Las tablas de verdad son herramientas que permiten representar todas las combinaciones
posibles de valores de verdad de las proposiciones en una fórmula lógica. Cada fila de la
tabla muestra el resultado de la expresión lógica para una combinación específica de
valores de verdad de las proposiciones.
Valores de Verdad
1. Valor de Verdad: Cada proposición puede ser verdadera (V) o falsa (F). El
valor de verdad de expresiones lógicas se determina según las reglas de los
conectores lógicos.
2. Conectores Lógicos:
o Negación (¬): Invierte el valor de la proposición. Si P es V, ¬P es F, y
viceversa.
o Conjunción (∧): Verdadera solo si ambas proposiciones son verdaderas.
P ∧ Q es V solo si P y Q son V.
o Disyunción (∨): Verdadera si al menos una proposición es verdadera. P
∨ Q es V si P es V, Q es V, o ambos.
o Condicional (→): Falsa solo si la primera proposición es verdadera y la
segunda es falsa. P → Q es F solo si P es V y Q es F.
o Bicondicional (↔): Verdadera si ambas proposiciones son iguales en
valor de verdad. P ↔ Q es V si P y Q son ambos V o ambos F.
Ejemplo General
Para una expresión como P ∧ (Q ∨ R):
Evalúas primero Q ∨ R y luego combinándolo con P usando la conjunción.
Usas una tabla de verdad para ver todas las combinaciones de P, Q y R y
determinar el valor de verdad de la expresión completa.
Las tablas de verdad son fundamentales en lógica proposicional para analizar y
comprender el comportamiento de proposiciones complejas.
CIRCUITOS PROPOSICIONALES:
Circuitos Proposicionales
Los circuitos proposicionales son representaciones gráficas de fórmulas lógicas que
utilizan componentes básicos para combinar proposiciones. Se emplean principalmente
en el diseño de circuitos electrónicos y en la computación.
Componentes Principales
1. Entradas: Representan las proposiciones simples. Se suelen denotar con letras
como P, Q, R, etc.
2. Puertas Lógicas: Son los componentes que realizan operaciones lógicas. Las
más comunes son:
o Puerta AND (∧): Produce un resultado verdadero solo si todas las
entradas son verdaderas.
o Puerta OR (∨): Produce un resultado verdadero si al menos una entrada
es verdadera.
o Puerta NOT (¬): Invierte el valor de la entrada. Si la entrada es
verdadera, el resultado es falso, y viceversa.
o Puerta NAND: Es la negación de la puerta AND; es falsa solo si todas
las entradas son verdaderas.
o Puerta NOR: Es la negación de la puerta OR; es verdadera solo si todas
las entradas son falsas.
o Puerta XOR: Es verdadera si las entradas son diferentes; es decir, una es
verdadera y la otra es falsa.
3. Salidas: Representan el resultado final del circuito, que es una proposición
compuesta.
Funcionamiento
Los circuitos se construyen conectando las entradas a las puertas lógicas, siguiendo la
estructura de la fórmula proposicional. La salida de cada puerta puede ser conectada a
otras puertas o a la salida final del circuito. El resultado del circuito se evalúa siguiendo
el flujo de señales a través de las puertas, determinando el valor de verdad de la salida
en función de las entradas.
Aplicaciones
Los circuitos proposicionales son fundamentales en la electrónica digital, donde se
utilizan para construir circuitos integrados, procesadores y sistemas de control. También
son útiles en algoritmos y en la verificación de sistemas lógicos.