UNIVERSIDAD CÉSAR VALLEJO

OFICINA DE FORMACIÓN GENERAL

SESIÓN 2:

LÓGICA PROPOSICIONAL

Mtr.Laura Lucila Arbulú Baquedano

Temática

- Tablas de Verdad
- Esquemas Moleculares
- Equivalencias Lógicas
- Aplicaciones

1.1. Definición (Tabla de Verdad). La tabla de verdad fue ideada por Charles Sander Peirce
por los años 1880, pero el modelo más utilizado es el que propuso Ludwing Wittgenstein en
1921. Se define como una tabla que determina el valor de verdad de una proposición
compuesta, para cada combinación de valores de verdad de las proposiciones componentes.

El número de valores de verdad estará relacionado con el número de proposiciones a evaluar,

si tenemos “n” proposiciones, y considerando que cada proposición puede ser verdadero o
falso, se tendrá que el número de valores de la tabla es 2𝑛 .

Ejemplo:

Determinar el valor de la proposición (𝑝 ∨ 𝑞) ↔ 𝑞, mediante una tabla de verdad.

𝑝 𝑞 (𝑝 ∨ 𝑞) ↔ 𝑞
V V V V V
V F V F F
F V V V V
F F F V F

1.2. Definición (Fórmula Lógica). Es una combinación de variables proposicionales y operadores lógicos.
Para evaluar las fórmulas lógicas, utilizamos las tablas de verdad.

Al evaluar una fórmula lógica pueden presentarse tres casos:

 Cuando todos los valores de verdad del operador principal son verdaderos, se tiene
una TAUTOLOGÍA.

PENSAMIENTO LÓGICO
 UNIVERSIDAD CÉSAR VALLEJO
OFICINA DE FORMACIÓN GENERAL

 Cuando todos los valores de verdad del operador principal son falsos, se tiene una
CONTRADICCIÓN.
 Cuando los valores de verdad del operador principal son falsos y verdaderos,
entonces se tiene una CONTINGENCIA.

Observación.- Los signos de agrupación (), [], {} se usan en lógica cuando se trata de obtener
esquemas lógicos más complejos. Otra finalidad de estos signos es darles mayor o menor
jerarquía a los operadores

1.3. Definición (Esquemas Moleculares). Es la combinación de variables y conectivos lógicos

debidamente jerarquizados, se simbolizan mediante variables que son las letras mayúsculas a partir de
A, B, C,…

Ejemplos:

𝐴 = (𝑝 → 𝑞) → [(𝑝 ∨ ~ 𝑞) → (𝑝 𝛬 𝑞)]

𝐵 = (𝑝 Ú 𝑞) Ù [𝑟 ↔ (𝑞 Ú 𝑠)]

𝐶 = ~ (𝑝Ú ~ 𝑞) ® [(𝑝Ú 𝑟) ↔ (𝑞 Ú 𝑠)]

CÁLCULO DE VALORES DE VERDAD DE FÓRMULAS LÓGICAS

Utilizando los conectivos lógicos estudiados, se pueden combinar cualquier número finito de
proposiciones y para obtener el valor de verdad estas expresiones utilizamos la tabla de verdad.

Las combinaciones de los posibles valores de las proposiciones se realizan en el margen izquierdo del
esquema, luego se aplica cada uno de los operadores, empezando por el de menor alcance al de mayor
jerarquía.

Ejemplo: Construir la tabla de verdad para el siguiente esquema molecular:

(𝑝 ® 𝑞) Ù 𝑝® 𝑞

La tabla de verdad para el esquema molecular, está dado por:

𝑝 𝑞  (p ® q) Ù p ® 𝑞
V V V V V V V
V F F F V V F
F V V F F V V
F F V F F V F
Luego el razonamiento es válido y se conoce con el nombre de TAUTOLOGÍA.

PENSAMIENTO LÓGICO
 UNIVERSIDAD CÉSAR VALLEJO
OFICINA DE FORMACIÓN GENERAL

Ejemplo: Construir la tabla de verdad para el siguiente esquema molecular:

(p Ùq) Ùp

La tabla de verdad para el esquema molecular, está dado por:

𝑝 𝑞 (p Ùq) Ù p
V V V F F
V F F F F
F V F F V
F F F F V

Luego el razonamiento es no válido y se conoce con el nombre de FALACIA.

Ejemplo: Construir la tabla de verdad para el siguiente esquema molecular:

(~𝑝 ∨ 𝑞) ↔ ~𝑞 ∧ ~𝑝

La tabla de verdad para el esquema molecular, está dado por:

𝑝 𝑞 (~𝑝 ∨ 𝑞) ↔ ~𝑞 ∧ ~𝑝
V V V F F
V F F F F
F V V F F
F F V V V

Esta expresión proposicional es una CONTINGENCIA.

Hemos analizado fórmulas lógicas con dos proposiciones, pero se puede realizar el cálculo de valores
de verdad con más proposiciones. Si analizamos un esquema molecular con 3 proposiciones,
obtendremos 8 combinaciones de los valores de verdad.

Ejemplo: Construir la tabla de verdad para el siguiente esquema molecular:

[𝑝 ∧ (𝑞 ∨ 𝑟)] ↔ [(𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)]

𝑝 𝑞 𝑟 [𝑝 ∧ (𝑞 ∨ 𝑟)] ⟷ [(𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)]

V V V V V V V V V V
V V F V V V V V V F
V F V V V V V F V V

PENSAMIENTO LÓGICO
UNIVERSIDAD CÉSAR VALLEJO
OFICINA DE FORMACIÓN GENERAL

V F F V F F V F F F
F V V F F V V F F F
F V F F F V V F F F
F F V F F V V F F F
F F F F F F V F F F

Luego el razonamiento es válido y se conoce con el nombre de TAUTOLOGÍA.

1.4. Definición (Equivalencia Lógica). Decimos que dos expresiones lógicas son equivalentes
si y sólo si tienen siempre los mismos valores de verdad. Es decir, A es lógicamente
equivalente a B, si la compuesta A B es una tautología. La equivalencia, la simbolizamos
por “” o también por “”.

Ejemplos:

a) Demostrar si los siguientes esquemas moleculares son equivalentes:

p ® q p Ú q

Solución:

𝑝 𝑞 p®q ↔ p Ú q
V V V V V
V F F V F
F V V V V
F F V V V

Por tanto se observa que los dos esquemas son equivalentes, es decir:

p ® q p Ú q

b) Demostrar si los siguientes esquemas moleculares son equivalentes:

p Ùq  (pÚ q)

Solución:

𝑝 𝑞 p Ùq ↔ (p Ú q)
V V F V F

PENSAMIENTO LÓGICO
 UNIVERSIDAD CÉSAR VALLEJO
OFICINA DE FORMACIÓN GENERAL

V F F V F
F V F V F
F F V V V

Por lo tanto, los dos esquemas son equivalentes, es decir: p Ùq (p Ú q)

EJERCICIOS RESUELTOS

1. Simbolice la siguiente proposición y construya su tabla de verdad.

Si Alonso estudia Ingeniería de Minas y se encuentra en el quinto ciclo de la carrera, entonces

Alonso cursa Geología Minera. Pero Alonso no cursa Geología Minera. En consecuencia Abel
no estudia Ingeniería de Minas o no se encuentra en el quinto ciclo de la carrera.

p: Alonso estudia Ingeniería de Minas

q: Alonso se encuentra en el quinto ciclo de la carrera
r: Alonso cursa Geología Minera

{ [ (𝑝 ∧ 𝑞) → 𝑟] ∧ ∼ 𝑟} → (~𝑝 ∨ ~𝑞)

𝑝 𝑞 𝑟 { [ ( 𝑝 ∧ 𝑞) → 𝑟] ∧ ∼ 𝑟} → (~𝑝 ∨ ~𝑞)
V V V V V V F F V F F F
V V F V F F F V V F F F
V F V F V V F F V F V V
V F F F V F V V V F V V
F V V F V V F F V V V F
F V F F V F V V V V V F
F F V F V V F F V V V V
F F F F V F V V V V V V

Esta proposición compuesta es una TAUTOLOGÍA.

1. Construye la tabla de verdad para cada una de los siguientes esquemas moleculares, y
determina si es: tautología, contradicción o contingencia.

a) (𝑝 𝛥 𝑞) ↔ (𝑞 ↔ 𝑝)

PENSAMIENTO LÓGICO
UNIVERSIDAD CÉSAR VALLEJO
OFICINA DE FORMACIÓN GENERAL

𝑝 𝑞 (𝑝 Δ 𝑞) ↔ (q ↔ p)
V V F F V
V F V F F
F V V F F
F F F F V
CONTRADICCIÓN
b) [p → (q V r)] ↔ [(p → q) V (p → r)]
𝑝 𝑞 𝑟 [𝑝 → (𝑞 ∨ 𝑟)] ⟷ [(𝑝 → 𝑞) ∨ (𝑝 → 𝑟)]
V V V V V V V V V V
V V F V V V V V V F
V F V V V V V F V V
V F F V F F V F F F
F V V F V V V V V V
F V F F V V V V V V
F F V F V V V V V V
F F F F V F V V V V

TAUTOLOGÍA

c)  (p Ú q) ® (p Ù q)® (p ® q) Ù (q ® p)

𝑝 𝑞 𝑟 [(𝑝 ∨ 𝑞) → (𝑝 ∧ 𝑞)] → (𝑝 → 𝑞) ∧ (𝑞 → 𝑝)]

V V V V V V V V V V
V V F V V V V V V V
V F V V F F V F V V
V F F V F F V F V V
F V V V F F V V F F
F V F V F F V V F F
F F V F V F V V V V
F F F F V F v V V V

CONTINGENCIA
2. Si p es una proposición falsa, determinar el valor de verdad de:
(p ®r) Ùr ® (q Ù p) ® (p ® q)

{(𝑝 →∼ 𝑟) ∧ [𝑟 → (∼ 𝑞 ∧ 𝑝)]} → (𝑝 → 𝑞)

{(𝐹 →∼ 𝑟) ∧ [𝑟 → (∼ 𝑞 ∧ 𝐹)]} → (𝐹 → 𝑞)

PENSAMIENTO LÓGICO
 UNIVERSIDAD CÉSAR VALLEJO
OFICINA DE FORMACIÓN GENERAL

{𝑉 ∧ [𝑟 → 𝐹]} → 𝑉

El valor de verdad de la proposición es verdadero.

3. Demostrar si los esquemas moleculares son equivalentes:

A: ~(p ® q) Ù(q ® ~r) es equivalente a:

B: [p Ù (p Ú ~ r)] Ù~q

A ≡ B
p q r ∼ (𝑝 → 𝑞) ∧ (𝑞 →∼ 𝑟) ⟷ [𝑝 ∧ (𝑝 ∨∼ 𝑟)] ∧ ∼𝑞
V V V F V F F V V V V F F
V V F F V F V V V V V F F
V F V V F V V V V V V V V
V F F V F V V V V V V V V
F V V F V F F V F F F F F
F V F F V F V V F F V F F
F F V F V F V V F F F F V
F F F F V F V V F F V F V
TAUTOLOGIA

EJERCICIOS DE REFORZAMIENTO

1. Simbolice las siguientes proposiciones y construya su tabla de verdad.

 Siempre que salga el sol entonces iremos a la playa, sin embargo no sale el sol. Por lo tanto no
iremos a la playa.
 Si Yuliana estudia Ingeniería Civil y se encuentra en el cuarto ciclo de la carrera, entonces
Yuliana cursa Mecánica de Suelos. Dado que Yuliana no cursa Mecánica de Suelos. Se concluye
que Yuliana no estudia Ingeniería Civil o no se encuentra en el cuarto ciclo de la carrera.
 La crisis mundial afecta a los países de bajos recursos económicos pero los analistas en
economía buscan soluciones, a pesar de que la crisis mundial no afecta a los países de bajos
recursos.

2. Construye la tabla de verdad para cada una de los siguientes esquemas moleculares, y
determina si es: tautología, contradicción o contingencia.

PENSAMIENTO LÓGICO
 UNIVERSIDAD CÉSAR VALLEJO
OFICINA DE FORMACIÓN GENERAL

a) ∼ [∼ (𝑝 ∧ 𝑞)® ∼ 𝑞] ∨ 𝑞
b) [𝑝 ® (𝑞 ® 𝑟)] Ù [𝑞 D (𝑝 ® 𝑟)]  [(𝑝 Ú 𝑞) ® 𝑟 ]
c) (𝑝 Ù 𝑞) ~ (~𝑝 Ú ~ 𝑞)
d) (𝑝 Ù 𝑞) Ù (𝑝 Ù~ 𝑞)
e) ~[~(𝑝 Ù 𝑞) ® ~ 𝑞] Ú 𝑝

3. A continuación se presenta una serie de ejercicios en la cual se especifica lo siguiente:

a) Si (p ® s) Ú (r s) Ú(q D s) es Falsa. Determine los valores de verdad de:
p®q
rÚs
r s

b) Si (p ® (s ® q)) Ú(r q) es verdadera. Determine los valores de verdad de:
(r Ú p) ® (q D s)
rÚs
r q

4. Demostrar que en cada uno de los casos, si los esquemas moleculares son equivalentes:

a. [(~ 𝑝 Ú 𝑞) Ù (𝑞 Ú 𝑟)]  (𝑝 ® 𝑟)
b. 𝑝 ↔ 𝑞 ≡ (𝑝 ∧ 𝑞) ∨ (∼ 𝑞 ∧∼ 𝑝)
c. ~ [(𝑝 Ù 𝑞) Ú 𝑟]  [~(𝑝 Ú 𝑟) Ú ~(𝑞 Ú 𝑟)]
d. 𝑝 ∆ 𝑞 ≡ (𝑝 ∨ 𝑞) ∧ (∼ 𝑞 ∨ ∼ 𝑝)

PENSAMIENTO LÓGICO