LÓGICA

PROPOSICIONAL
CONTENIDOS
1. Proposición

2. Variables proposicionales

3. Clases de proposiciones lógicas

4. Conectivos lógicos
❑ ¡Qué calor! ❑ El Sol es fuente de energía
❑ ¿Qué hora es? ❑ Miguel Grau es un héroe chileno
❑ Te quiero mucho ❑ 3+4=7
❑ Cuelga el teléfono ❑ Alan García fue Presidente de Perú.
❑ Te esperaré ❑ Paris es al capital de Italia

¿Qué diferencia observas entre

los enunciados de ambas
columnas?
 LÓGICA PROPOSICIONAL
La lógica es una ciencia que estudia los métodos o
procedimientos que aplican de niciones y leyes o reglas
con el propósito de determinar la validez o invalidez de
las proposiciones.
 1 PROPOSICIÓN LÓGICA

Es una expresión lingüística libre de ambigüedades, que tiene la

propiedad de ser verdadera o falsa, pero nunca ambas
simultáneamente.
Ejemplo
▪ Lima es la capital del Perú. La veracidad o falsedad de una
proposición se denomina “Valor
▪ La Tierra es un planeta de verdad de la proposición”
2 ¿QUE ES UNA VARIABLE PROPOSICIONAL
las expresiones o proposiciones son representadas por letras
latinas: p, q, r, s,... llamadas variables proposicionales.

Ejemplo
Marcos es físico =
Marcos es matemático =
3 CLASES DE PROPOSICIÓN
Proposición simple
Llamada también proposición atómica, son reemplazadas por una sola
variable.
Ejemplo
Europa es un continente = p
Proposición compuesta
Llamadas también proposiciones moleculares.

Ejemplo
Rosa es amable y respetuosa = p ∧ q
∨ →
4 CONECTIVOS LÓGICOS

↔ ∧
Llamados también: operadores,
signos de enlace, conectores,
factores,.etc.

Δ ∼
A Negación (∼)
Ejemplo
p : Juan es abogado
∼p
: No es cierto que Juan sea abogado
q : Todos los varones son eles
∼ q : Algunos varones son eles

En conclusión: ∼ p : no p También
B Conjunción “y”
(∧)
Ejemplo
Mateo es ingeniero = p
Mateo es profesor = q
Mateo es ingeniero y profesor = p ∧ q

p q ( p ∧ q)

V V V
Su tabla de verdad resulta V F F
F V F
F F F
B Algunas expresiones verbales de la
Conjunción
C Disyunción débil (∨) “o
Ejemplo ”
❑ La matemática es exacta = p
❑ La matemática es aplicativa = q
❑ La matemática es exacta o aplicativa = p ∨ q

p q ( p ∨ q)

V V V
Su tabla de verdad resulta V F V
F V V
F F F
B Algunas expresiones verbales de la
disyunción débil
D Disyunción fuerte (Δ) “o... o ...”
Ejemplo
❑ Adriana nació en Cuzco = p
❑ Adriana nació en Arequipa = q
❑ O Adriana nació en Cuzco o nació en Arequipa = pΔq

p q ( p Δ q)

V V F
Su tabla de verdad resulta V
V F
F V V
F F F
B Algunas expresiones verbales de la
disyunción fuerte
E Condicional “si ..., entonces...”
(→)
Ejemplo
❑ estudio = p
❑ apruebo = q
❑ Si estudio, entonces apruebo = p → q

p q ( p → q)

V V V
Su tabla de verdad resulta
V F F
F V V
F F V
B Algunas expresiones verbales de la
condicional
F Bicondicional (↔) “si y solo si”
Ejempl
o Omar es profesor = p
❑
❑ Omar es ingeniero = q
❑ Omar es profesor si y solo si es ingeniero = p↔q

p q ( p ↔ q)

V V V
Su tabla de verdad resulta
V F F
F V F
F F V
B Algunas expresiones verbales de la
bicondicional
5 RESUMEN DE LOS
CONECTIVOS LÓGICOS
5 Evaluar las siguientes fórmulas lógicas y decir
si es tautológica, contingente o contradictoria.

[∼(p → q) ∧ (r ∨ q)]
5 Evaluar las siguientes fórmulas lógicas y decir
si es tautológica, contingente o contradictoria.

{[(p ∧ q) → (p ∧ r)] ∨ (p →
r)}
5 Evaluar las siguientes fórmulas lógicas y decir
si es tautológica, contingente o contradictoria.
5 Evaluar las siguientes fórmulas lógicas y decir
si es tautológica, contingente o contradictoria.

❑ [p ∨ (q → ∼r)] ∧ [(∼p ∨ r) ↔ ∼q]

❑ [(∼p ∧ q) → ∼r] ↔ [ r ∧ ∼ (p ∨ ∼q)]

❑ ∼ (p → q) ↔ ∼[(∼q) → (∼p) ]

❑ [(p∨~q)→ r]∨ [(q↔ r)∧ ∼r]

1 Traducir las siguientes oraciones a un lenguaje formal
matemático.
I. Napoleón no es emperador de Francia.
p: Napoleón es emperador de Francia
∼𝑝
II. Andrés es futbolista y Juan se enfermó
p: Andrés es futbolista q: Juan se enfermo
𝑝∧𝑞
III. O José vendrá porque ha recibido la carta o no está
interesado en el nuevo trabajo.
p: José vendrá porque ha recibido la carta
q: está interesado en el nuevo trabajo
𝑝→∼𝑞
2 Traducir las siguientes oraciones a un lenguaje formal
matemático.
I. Luis murió ayer, pero no estaba enfermo
p: Luis murió ayer q: Luis estaba enfermo
∼𝑞: Luis no estaba enfermo
𝑝 ∧ ∼𝑞
II. José estudia periodismo o Luis estudia ingeniería

III. Si no es el caso que Marcos sea comerciante y un próspero

industrial, entonces es ingeniero o no es comerciante..
2 Traducir las siguientes oraciones a un lenguaje formal
matemático.
I. Si llueve y hay sol, se ve el arcoíris

II. Si no llueve, voy al cine.

III. Si no voy a la escuela, pero no estoy enfermo.

3 Traducir las siguientes oraciones a un lenguaje formal
matemático.
I. José estudia periodismo o Luis estudia ingeniería

II. Si llueve y hay sol, se ve el arcoíris

III. Si no llueve, voy al cine..

4 Traducir las siguientes oraciones a un lenguaje formal
matemático.
I. Si no voy a la escuela, pero no estoy enfermo, estoy contento

II. Si está nublado, pero no llueve, entonces el sol está brillando.

III. O Lesly va al cine o viaja

5 Traducir las siguientes oraciones a un lenguaje formal
matemático.
I. Sean p, q y r las siguientes proposiciones:
p : llueve
q : el sol brilla
r : el cielo está nublado
Traducir las siguientes proposiciones de un lenguaje formal
matemático a un lenguaje natural
1. (p ∧ q) → r
2. ~p ↔ (q ∨ r)
3. ~( q ∨ p) ∧ r
6 Escribir la forma lógica de la proposición:

Si Rosa participa en el municipio escolar entonces los estudiantes se enojan con ella, y
si no participa en el municipio escolar, los profesores se enojan con ella. Pero, Rosa
participa en el municipio escolar o no participa. Por lo tanto, los estudiantes o los
profesores se enojan con ella.
p: Rosa participa en el municipio escolar
q: los estudiantes se enojan con ella
~p: no participa en el municipio escolar
r: los profesores se enojan con ella
Entonces, la proposición original se puede expresar en términos de la lógica proposicional como:

{[(p → q) ∧ (~ p → r)] ∧ (p ∨ ~ p)} → (q ∨ r).

7 Si no es el caso de que Eusebio no sea culpable o el testigo
no diga la verdad, entonces el juez no dictará una sentencia.
8 Dadas las proposiciones:
p: Juan sube las escaleras
q: José sube las escaleras
r: Pedro sube las escaleras
s: José se comprar un reloj
Expresa simbólicamente el siguiente enunciado
Si Juan sube las escaleras o José no sube las escaleras, es
su ciente para que Pedro suba las escaleras y José no se
compre un reloj.