Pensamiento Lógico Matemático

Cálculo Proposicional

Lic. Luis Alberto López Rodríguez

Marzo de 2020

Dpto. de Ciencias Básicas y Humanas

 1. Tablas de verdad,

Indeterminaciones, Tautologías y

Contradicciones.

Dpto. de Ciencias
Básicas y Humanas
 Tablas de verdad

Tablas de Verdad

Para construir tablas de verdad se debe tener en cuenta las siguientes reglas:

1. Por cada proposición simple o compuesta se debe tener una columna.

2. El número de renglones será 2𝑛 donde 𝑛 es el número de proposiciones simples.

 Tablas de Verdad

Ejemplo: Construir la tabla de verdad de la proposición compuesta 𝑝 ∧ 𝑞 → 𝑟

𝑝 𝑞 𝑟 𝑝∧𝑞 𝑝∧𝑞 →𝑟
V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V
 Indeterminación

Indeterminación: Se da cuando en la ultima columna de la tabla de verdad, encontramos valores de verdad falso
y verdadero.

Ejemplo: En la tabla de verdad anterior encontramos una indeterminación.

 Tautología

Tautología: Se da cuando en la ultima columna de la tabla de verdad, encontramos solo valores verdaderos.
 Contradicción

Contradicción: Se da cuando en la ultima columna de la tabla de verdad, encontramos solo valores falsos.
 Ejemplo

1. Si el valor de verdad de la proposición: 𝑞 → ~𝑝, es falsa, ¿Cuál será el valor de verdad de: ~𝑞 ∧∼ 𝑝?

Desarrollo: Teniendo en cuenta la tabla de verdad de la implicación.

si 𝑞 → ~𝑝 es falsa entonces 𝑞: 𝑉 𝑦 ∼ 𝑝: 𝐹 por lo tanto
∼ 𝑞: 𝐹 . Luego teniendo en cuenta la tabla de verdad de
conjunción.
∼ 𝑞 ~𝑝 ~𝑞 ∧∼ 𝑝
𝐹 𝐹 𝐹
 Ejercicios

1. Completar con V o F, cada una de las siguientes proposiciones, justificar la respuesta:

a. Se sabe que 𝑝 ∧ 𝑞 es verdadera. Por lo tanto el valor de verdad de ∼ 𝑝 → 𝑞 es: ______

b. Se sabe que ∼ 𝑝 → 𝑞 es falsa. Por lo tanto, el valor de verdad de 𝑝⋁~𝑞 es: ______

c. Se sabe que ~𝑝 ∨ 𝑞 es falsa. Por lo tanto, el valor de verdad de 𝑝 ↔ 𝑞 es: ______

d. Se sabe que 𝑝 es falsa y ~𝑝 ↔ 𝑞 es verdadera. Por lo tanto, el valor de verdad de 𝑝 → ~𝑞 es: ______

e. Se sabe que 𝑞 y ~𝑟 son verdaderas. Por lo tanto q → (𝑝 ∧ 𝑟) es: ______

2. Comprobar por medio de una tabla de verdad que las siguientes proposiciones compuestas son
tautologías, indeterminaciones o contradictorios:

a. 𝑝⋁𝑞 ↔ 𝑞⋁𝑝
b. (𝑝 → 𝑞) ∧ (𝑞 → 𝑟) → 𝑝 → 𝑟
c. 𝑝 ∧ (𝑝 → 𝑞) → 𝑞
 Gracias

Dpto. de Ciencias
Básicas y Humanas