Este documento presenta una introducción a las tablas de verdad, incluyendo las operaciones lógicas de negación, conjunción, disyunción no exclusiva, disyunción exclusiva, condicional y bicondicional. Explica cómo cada operación lógica cambia el valor de verdad de las proposiciones en función de las combinaciones de valores de verdad de sus componentes, y provee ejemplos ilustrativos de cada operación lógica.

1. ESTUDIANTES DE LA UMECIT

2. TABLA DE LA VERDAD
 Una tabla de verdad, o tabla de valores de verdad, es una
tabla que muestra el valor de verdad de una proposición
compuesta, para cada combinación de valores de verdad
que se pueda asignar a sus componentes.

3. Tabla de la negación
¬A ¬A
V F
F V
Ejemplo
El 4 es un numero par
El 4 no es un numero par
P ¬P
V F
¬P
La negación cambia el valor del que
procede

4. Tabla de la conjunción
A B A ^ B
V V V
V F F
F V F
F F F
El numero 4 es par y Siempre el residuo de los números pares es 2
p^q
p q
V V V
V F F
F V F
F F F
p^q
p q
Una conjunción es verdadera cuando
los 2 valores son verdaderos

5. Disyunción no exclusiva
A B A v B
V V V
V F V
F V V
F F F
El numero 2 es par o la suma de 2 + 2 es 4
p q p v q
V V V
V F V
F V V
F F F
p q
Es un conector lógico cuyo valor de la verdad resulta en falso
sólo si ambas proposiciones son falsas, y en cierto de
cualquier otra forma

6. Disyunción exclusiva
A B A _ B
V V f
V F V
F V V
F F F
p q p _ q
V V f
V F V
F V V
F F F
El día esta lluvioso o nublado
p q
Establece que la disyunción inclusiva es
verdadera si al menos una de las dos
proposiciones de las componentes es
verdadera. Cuando todas ellas son falsa, la
proposición resultante es falsa

7. Condicional
A B A --> B
V V F
V F V
F V V
F F F
Si Hoy es miércoles entonces Mañana será jueves
p q p --> q
V V F
V F V
F V V
F F F
p q
El condicional es verdadero en todos los caso menos
cuando la primera proposición es verdadera y la segunda
es falsa.
-->

8. Condicional
Se lee:
Si P entonces Q
P implica Q
P solo si Q
Q si P
Q siempre que P
Q es necesario para P

9. Bicondicional
A B A <-->
B
V V V
V F F
F V F
F F V
10 es un número impar si y solo si 6 es un número primo
p q p <-->
q
V V V
V F F
F V F
F F V
p q↔
El bicondicional sólo será verdadera si
ambas proposiciones tienen el mismo
valor de la verdad