Universidad Alejandro de Humboldt.

Facultad de Ingeniería. Ciclo Básico. Asignatura: Lógica

Profesora: Yrma Rodriguez.

TABLA DE LA VERDAD
Se usan para determinar de un modo sistemático, la verdad o la falsedad de un enunciado. Se simboliza
con letras mayúsculas: V si es Verdadero y F si es Falso.

Se parte de una fórmula matemática: 2 ⁿ

• Donde 2 es la base. Siempre será 2, es la constante ya que un enunciado es verdadero o es falso,

solo hay dos opciones.
• N representa la cantidad de enunciados.

Procedimientos:

1. Cuando hay UN solo enunciado, sustituir en la fórmula 2 ¹= 2, donde hay 1 valor Verdadero y 1
valor falso. Se representa p: (que es el enunciado), con los respectivos valores. Cuando el
enunciado en Verdadero p: V F
Cuando el enunciado es Falso: ¬ p: F V
2. Cuando hay DOS enunciados, sustituir en la fórmula 2 ²= 4 , el resultado se divide entre la base:
4/2 = 2, donde se asignan 2 valores Verdaderos y 2 valores falsos, a cada uno de los enunciados.
Cuando el enunciado en Verdadero p: V V F F q: V F V F
Cuando el enunciado es Falso ¬ p: F F V V ~ q: F V F V
3. Cuando hay TRES enunciados, sustituir en la fórmula 2 ³ = 8 , el resultado se divide entre la base:
8/2 = 4, donde se asignan 4 valores Verdaderos y 4 valores falsos, a cada uno de los enunciados.
Cuando el enunciado en Verdadero p: V V V V F F F F q: V V F F V V F F r: V F V F V F V F Cuando el
enunciado es Falso ~ p: F F F F V V V V ¬q: F F V V F F V V ¬ r: F V F V F V F V

A continuación, se presenta la Tabla de la Verdad, que se usará para resolver ejercicios.

p q Conjunción Condicional Bicondicio

˄ Disyunció → nal ↔
n ˅

V V V V V V
V F F V F F
F V F V V F
F F F F V V
Es verdadero Es falso Es falso Es V: p = q
Cuando p y q Cuando p y Cuando p es
 son q son V y q es F
verdaderos falsos Es F: p ≠ q

Guia de Estudios elaborada por la profesora Yrma Rodriguez

Recordar que en la Guia anterior, se hizo referencia a los Signos de la Lógica y la Negación.

1.- Letras Proposicionales: Utiliza del Castellano las siguientes letras: p, q, r, s, t, u, v, w, x, y, z, se

colocan en ese orden alfabético, en minúscula y representan o sustituye a los enunciados. Cada vez
que se realice una traducción del lenguaje natural para el lenguaje artificial, se comienza con la letra
p.

2.- Conectivos: son signos que sustituyen los diversos nexos del lenguaje natural
Nexos Conectivo

y, e, pero, sin embargo Conjunción ^

o, u Disyunción v

Si……entonces Condicional →
……….

Sí sólo sí Bicondicional ↔

3.- Signos de Agrupación de Matemática (la cual es considerada una ciencia pura), se utilizan los
siguientes: Paréntesis ( ) Corchetes [ ] y Llaves { } Se colocan en ese orden, consecutivo. Primer
Teorema: En el uso de los paréntesis, la conjunción ^ y la disyunción v, deben agruparse primero,
quedando el condicional → y el bicondicional ↔, para agruparse posteriormente.
4.- La Negación: No es un nexo, sirve para negar un enunciado.
Tiene dos maneras de representarse: ~ ¬ se coloca antes de la letra proposicional, se pueden utilizar
cualquiera de las dos formas.
Negación

Lenguaje Natural Signo

No, Es falso que, ~¬

Ni….ni……….

Segundo Teorema: Cuando haya que traducir el Ni…ni…. Debe colocar entre ellos la conjunción ^

Cuando se resuelve con la Tabla de la Verdad, se presenta lo siguiente:

RESULTADO SE DENOMINA

Cuando es Todo VERDADERO TAUTOLOGÍA

 Cuando es Todo FALSO CONTRADICCIÓN

Cuando es VERDADERO y FALSO CONTINGENCIA

Pasos para resolver ejercicios:

1. Identificar la cantidad de enunciados

2. Sustituir en la formula la cantidad de enunciados y resolver
3. Asignar valores de Verdaderos y Falsos, a cada enunciado
4. Resolver los conectivos con la Tabla de la Verdad, empezando con los paréntesis y después los
corchetes
5. El ultimo enunciado que se resuelve, hay que colocarle como se denomina.

Guia de Estudios elaborada por la profesora Yrma Rodriguez

EJERCICIOS
Resolver con la Tabla de la Verdad e indicar el resultado:

1.- [ ( p ^ q ) → r ] 2³= 8

V V

F V V F

V V V V

F V F V

V V F V

F F F V

V F F V

F F F V

F F 2do
Resultado

CONTINGENCIA 1e
Resu

2.- [ ( p v q ) ↔ ~r ] 2³= 8
 V V F
F
V V V
V
V V F
F
V V V
V
F V F
F
F V V
V
F F V
F
F F F
V
1e 2do
Result Resultado

CONTINGENCIA

3.- [ p → ( q ^ ~r ) ] 2³= 8

CONTINGENCIA
F F
V
V V
V
F F
V
F V
V F F
1er
Resultado
V V

F F

F V
Guia de Estudios elaborada por la profesora Yrma Rodriguez

4.- ( p → ~q ) 2 ² = 4

CONTINGENCIA
F V F

F V V
V F
Resultado
V V
 5.- ~ ( p ^ q ) 2 ² = 4

La negación F V V F
afecta al
resultado del V V F V
paréntesis, se
coloca el V F F F
contrario del
resultado V F F V

2do 1ER
CONTINGENCIA Resultado Resultado

6.- [ ( p ^ q ) ^ ¬ ( p ^ q ) ] 2 ² = 4

V V V F F V V V

V F F F V V F F

F F V F V F F V

F F F F V F F F
1er 4to 3er 2do
Resultado Resultado Resultado, Resultado
Negación del
paréntesis

CONTRADICCIÓN
7.- [ (~ p ^ q ) v ( ~ p v p ) ] 2 ² = 4

F F V VFVV

F F F VFVV

V V V VVVF

V F F VVVF
1er 3er
Resultado 2do
Resultado
Resultado

TAUTOLOGÍA
 8.- ( p v ~p ) 2 ¹ = 2

TAUTOLOGÍA Resultado

V V

F V
Guia de Estudios elaborada por la profesora Yrma Rodriguez

9.- [ ( p → q ) ^ p ] 2 ² = 4

V
V V
V
F V V
F
V
2do
Resultado
F
V
F

TAUTOLOGÍA

10.- ~ [ (~ p ^ q ) v ( ~ p v p ) ] 2 ² = 4

Se coloca el F F F V V F V V

contrario del F F F F V F V V

resultado del F V V V V V V F

corchete V V F
FVFFV
(3ro)
1er 2do
3er Resultado
Resultado
Resultado

CONTRADICCIÓN
Guia de Estudios elaborada por la profesora Yrma Rodriguez