UNIVERSIDAD NACIONAL DE SAN

ANTONIO ABAD DEL CUSCO

FACULTAD DE CIENCIAS DE LA SALUD
ESCUELA PROFESIONAL DE ENFERMERIA
AÑO DE LAUNIDAD, LA PAZ Y EL DESARROLLO

MONOGRAFICA SOBRE LOGICA PROPOCICIONAL

TEMA: TABLAS DE VERDAD

AREA: MATEMATICA

DOCENTE:

ALUMNA: LUZ VANIA CONDORI HUALLPAYUNCA

CODIGO:235253
SEMESTRE:2023-2

OBJETIVOS:
El objetivo principal de las tablas de verdad en proposiciones
lógicas es determinar y mostrar de manera sistemática todas las
posibles combinaciones de valores de verdad (verdadero o falso)
que pueden tomar las proposiciones simples y compuestas en
una expresión lógica. Esto se hace para evaluar y analizar la
validez de una expresión lógica, verificar si es una tautología,
contradicción o contingencia, y para simplificar expresiones
lógicas complejas.

En resumen, las tablas de verdad tienen los siguientes objetivos:

Evaluar la validez: Determinar si una expresión lógica es

verdadera en todas las circunstancias (tautología), falsa en todas
las circunstancias (contradicción) o variable en su verdad
(contingencia).

Simplificación: Ayudar a simplificar expresiones lógicas complejas

identificando patrones de verdad y simplificando términos o
cláusulas redundantes.

Demostrar equivalencia: Mostrar si dos expresiones lógicas son

equivalentes, es decir, si tienen la misma tabla de verdad y, por
lo tanto, son intercambiables en cualquier contexto lógico.

En resumen, las tablas de verdad son una herramienta

fundamental en la lógica proposicional para analizar y
comprender el comportamiento de las proposiciones y las
expresiones lógicas.

Introducción a las Tablas de Verdad en

Lógica Proposicional

La lógica proposicional es una rama de la lógica que se ocupa de analizar y

evaluar las proposiciones o afirmaciones simples y compuestas en términos
de su verdad o falsedad. Para llevar a cabo este análisis de manera
sistemática y exhaustiva, se utiliza una herramienta invaluable conocida
como "tabla de verdad".

Una tabla de verdad es una representación organizada de todas las posibles

combinaciones de valores de verdad que pueden tomar las proposiciones
simples y compuestas en una expresión lógica. Cada fila de la tabla de
verdad corresponde a una configuración específica de valores de verdad, y
cada columna se relaciona con una proposición o variable en la expresión
lógica.

El objetivo principal de una tabla de verdad es evaluar y determinar el valor

de verdad de la expresión lógica para cada combinación de valores
posibles. Los valores de verdad básicos son "verdadero" (V) y "falso" (F).
Al realizar esta evaluación exhaustiva, se pueden lograr varios objetivos
mencionados anteriormente(OBJETIVO):
Determinar Validez
Simplificar Expresiones
Demostrar Equivalencia

En resumen, las tablas de verdad son una herramienta esencial en la lógica

proposicional que nos permite analizar, evaluar y comprender las
proposiciones y las expresiones lógicas de manera exhaustiva y sistemática.
Su uso es fundamental para resolver problemas lógicos y demostrar la
validez o equivalencia de afirmaciones en este campo de estudio.
El desarrollo de las tablas de verdad en lógica proposicional implica la
creación sistemática de todas las posibles combinaciones de valores de
verdad para las proposiciones simples y compuestas en una expresión
lógica. A continuación, te mostraré cómo desarrollar una tabla de verdad
paso a paso:
Supongamos que tienes una expresión lógica con tres proposiciones
simples: P, Q y R. Aquí están los pasos para desarrollar la tabla de verdad:
Paso 1: Enumera todas las proposiciones simples involucradas en tu
expresión lógica. En este caso, son P, Q y R.
Paso 2: Crea una fila inicial para las proposiciones simples. En esta fila,
coloca todas las combinaciones posibles de valores de verdad para las
proposiciones simples. Para 3 proposiciones, tendrás 2^3 (8)
combinaciones posibles:
P Q R
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Paso 3: Añade columnas adicionales para las proposiciones compuestas en
tu expresión lógica. Evalúa el valor de verdad de cada proposición
compuesta para cada combinación de valores de verdad de las
proposiciones simples. Utiliza las reglas de la lógica proposicional (como
conjunción, disyunción, implicación, etc.) para determinar el valor de
verdad de las proposiciones compuestas.

Supongamos que tu expresión lógica es "(P ∧ Q) ∨ ¬R". Debes calcular el

valor de verdad de esta expresión para cada fila de la tabla. Aquí tienes un
ejemplo de cómo se vería la tabla de verdad completa:
P Q R (P ∧ Q) ¬R (P ∧ Q) ∨ ¬R
V V V V F V
V V F V V V
V F V F F F
V F F F V V
F V V F F F
F V F F V V
F F V F F F
F F F F V V

En esta tabla, cada fila representa una combinación de valores de verdad

para P, Q y R. Luego, se calcula el valor de verdad de las proposiciones
compuestas "(P ∧ Q)" y "¬R", y finalmente se determina el valor de verdad
de la expresión completa "(P ∧ Q) ∨ ¬R" para cada fila.

Esta tabla de verdad te permite analizar y comprender el comportamiento

de la expresión lógica en todas las circunstancias posibles.

Aquí te presento algunos ejemplos de tablas de verdad para expresiones

lógicas simples:
Ejemplo 1: Tabla de Verdad para una Proposición Simple
Supongamos que tienes la proposición simple P, y deseas crear una tabla de
verdad para P:
P
V

F
En este caso, P puede ser "Verdadero" (V) o "Falso" (F). No hay
operaciones lógicas complicadas involucradas, ya que es una proposición
simple.
Ejemplo 2: Tabla de Verdad para la Negación (¬)
Ahora, consideremos la negación de P, que se denota como ¬P:
P ¬P
V F
F V
La columna ¬P representa la negación de P. ¬P es verdadero cuando P es
falso y viceversa.
Ejemplo 3: Tabla de Verdad para la Conjunción ( ∧ )
Ahora, analicemos la conjunción de dos proposiciones, P y Q:
P Q P∧Q
V V V
V F F
F V F
F F F
La columna "P ∧ Q" representa la conjunción de P y Q. P ∧ Q es verdadero
solo cuando ambas P y Q son verdaderas.
Ejemplo 4: Tabla de Verdad para la Disyunción ( ∨ )
Ahora, consideremos la disyunción de P y Q:
P Q P∨Q
V V V
V F V
F V V
F F F
La columna "P ∨ Q" representa la disyunción de P y Q. P ∨ Q es verdadero
si al menos una de las proposiciones (P o Q) es verdadera.
Estos son ejemplos simples de tablas de verdad para proposiciones lógicas
básicas. Puedes combinar operadores lógicos y proposiciones simples para
crear tablas de verdad más complejas y analizar expresiones lógicas más
elaboradas. OJO ESTOS SOLO SON EJEMPLOS DE LO MAS QUE
EXISTEN
EJERCICIO:
Tenemos 3 variables proposicionales p, q y r donde V(p)=V
V(q)=F V(r)=V Determine el valor de verdad de los siguientes
esquemas moleculares:
1. r→(q∨p)

2. ∼q→(∼p∨r)

Resolver la siguiente propocicion:

3. ∼(p∧∼q)→(∼r∧p)
CONCLUSION:

En conclusión, las tablas de verdad son una herramienta esencial en

lógica proposicional que permiten analizar, evaluar y comprender el
comportamiento de las proposiciones y expresiones lógicas en todas
las posibles combinaciones de valores de verdad. Aquí hay algunas
conclusiones clave sobre las tablas de verdad:

En general, las tablas de verdad son fundamentales para el análisis y

la resolución de problemas en lógica proposicional. Permiten una
representación clara y precisa de la verdad lógica, lo que facilita la
toma de decisiones lógicas y la resolución de problemas en una
variedad de campos, incluyendo la informática, la filosofía y las
matemáticas