0% encontró este documento útil (0 votos)
44 vistas10 páginas

Logica Proposicional

Cargado por

aadrianzenedson
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
44 vistas10 páginas

Logica Proposicional

Cargado por

aadrianzenedson
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd

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.

También podría gustarte