ARITMÉTICA
tema 5
Lógica Proposicional
ESQUEMA - FORMULARIO
lógica PROPOSICIONAL
I. concepto
Es una parte de la lógica que
tiene como objetivo de estudio las
proposiciones lógicas y su valor
veritativo.
II. Enunciado
Es toda frase u oración que se utiliza
en el lenguaje común.
Ejemplo:
SAN MARCOS SEMESTRAL 2023 - II
• Ojalá ingrese a la universidad.
• Él es mi profesor de aritmética.
• ¿Cómo te llamas?
• 5 + 2 = 10
• Lima es la capital del Perú.
III. Enunciado cerrado
o proposición lógica
Es toda frase u oración del tipo infor-
mativo que se caracteriza por el hecho
de poseer un valor de verdad (V) o
falsedad (F) sin ambigüedad, en un
determinado contexto. Generalmen-
te las proposiciones se denotan con
letras minúsculas como: p, q, r, s, ...
(llamadas variables proposicionales).
SRi3A4
Ejemplo:
p: Lima es la capital del Perú (V)
q: 5 + 2 = 10 (F)
   variable proporcional
Nota:
Los mandatos, preguntas, deseos, ex-
clamaciones, interjecciones no son pro-
posiciones lógicas ya que no se pueden
calificar de ser verdaderas (V) o falsa (F).
Iv. Enunciado abierto
Son aquellos enunciados que su valor
de verdad depende de una variable o
un pronombre.
Ejemplo:
• x+3=8
• Ellos son futbolistas profesionales
• Yo soy varón
• Él es un escritor peruano.
V. Conectivos lógicos
Se llaman conectivos lógicos a las
palabras que sirven para enlazar
proposiciones o cambiar el valor ve-
ritativo de una proposición. Sean las
proposiciones "p", "q".
Lógica Proposicional

Operación
Símbolo Esquema Lectura
Lógica
∼ Negación ∼p no p
∧ Conjunción p∧q pyq
∨ Disyunción p∨q p q
Disyunción
;↔ p q p q
Exclusiva
Si p
→ Condicional p→q
entonces q
↔ Bicondicional p↔q p si y sólo si q

A. Negación
Ejemplo:
No es cierto que Juan sea médico

∼ p

p ∼p
La negación es una proposi-
V F ción cuyo valor es opuesto al
F V de la proposición original.

NOTA:
Las palabras: "no", "no es verdad que", "es falso que", "no ocurre que", "no es el
caso que", .... etc. equivalen al conectivo "∼"

B. Conjunción
Ejemplo:
Juan es futbolista y Ana es voleibolista

   p  ∧      q

p q p∧q
V V V
La conjunción es verdadera solo si
V F F
sus componentes son verdaderas, en
F V F otros casos será falsa.
F F F

Tema 5 ARITMÉTICA SAN MARCOS SEMESTRAL 2023 - II 2

 Lógica Proposicional

Nota:
Las palabras "pero", "sin embargo", "además", "no obstante", "aunque", "a la vez",
"también", etc. equivalen al conectivo "∧".

C. Disyunción inclusiva
Ejemplo:
Roberto es contador o Roberto es economista

p ∨ q

p q p∨q
V V V
La disyunción es falsa solo si sus
V F V componentes son falsas, en otros
F V V casos será verdadera.
F F F

d. Condicional
Ejemplo:
Si me esfuerzo entonces ingresaré
    
 p → q

causa consecuencia
antecedente consecuente

p q p→q
La condicional es falsa
V V V
solo si su antecedente
V F F es verdadero y su conse-
F V V cuente es falso, en otros
F F V casos será verdadero.

Nota:
Las palabras: "porque", "puesto que", "cuando", "si", "cada vez que", etc. equivalen
al conectivo "→".

3 Tema 5 ARITMÉTICA SAN MARCOS SEMESTRAL 2023 - II

Lógica Proposicional

E. Bicondicional
Ejemplo:
Iré a la fiesta si y sólo si tengo ropa nueva
   
p ↔ q

p q p↔q
V V V La bicondicional es verdadera
V F F solo si los valores de sus com-
ponentes son iguales en caso
F V F
contrario es falso.
F F V

Nota:
Las palabras: "cuando y solo cuando", "entonces y solamente entonces", etc. equivalen
al conectivo "↔".

F. Disyunción exclusiva
Ejemplo:
O bailas o te sientas
14243 123 1442443
p 9 q

p q p9q
V V F La disyunción exclusiva es ver-
V F V dadera solo si sus componen-
F V V tes tienen valores diferentes,
caso contrario será falso.
F F F

Tema 5 ARITMÉTICA SAN MARCOS SEMESTRAL 2023 - II 4

 Lógica Proposicional

leyes de lógica proposicional

IDEMPOTENCIA ABSORCIÓN
p∧p≡p p ∧ (p ∨ q) ≡ p
p∨p≡p p ∨ (p ∧ q) ≡ p
p ∧ (∼ p ∨ q) ≡ p ∧ q
CONMUTATIVA
p ∨ (∼ p ∧ q) ≡ p ∨ q
p∧q≡q∧p
p∨q≡q∨p BICONDICIONAL
p ↔ q ≡ (p → q) ∧ (q → p)
ASOCIATIVA p↔q≡∼q↔∼p
p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r INVOLUCIÓN
(DOBLE NEGACIÓN)
DISTRIBUTIVA ∼ (∼ p) ≡ p
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) COMPLEMENTO
p∨∼p≡V
MORGAN p∧∼p≡F
∼ (p ∨ q) ≡ ∼ p ∧ ∼ q
ELEMENTO NEUTRO
∼ (p ∧ q) ≡ ∼ p ∨ ∼ q
V∧p≡p
CONDICIONAL F∧p≡F
p→q≡∼p∨q V∨p≡V
p→q≡∼q→∼p F∨p≡p

5 Tema 5 ARITMÉTICA SAN MARCOS SEMESTRAL 2023 - II

Lógica Proposicional

problemas PROPUESTOS

nivel 1 4. Si la proposición (∼ p ∧ q) → (q ∧ ∼ r) es

falsa, halle el valor de verdad de p, q y r,
1. ¿Cuántos de los enunciados son proposi- respectivamente.
ciones lógicas? A) FFV B) VVV C) FVV
• ¿De dónde viene el hombre? D) FVF E) FFF
• x2 − 16 = 0
• Miguel Grau Seminario es un héroe nivel 2
nacional.
• Prohibido fumar. 5. Si (p ↔ r) ∧ ∼(∼ p ∨ ∼ q) es verdadera,
• 2 + 3 = 6 halle el valor de verdad de los siguientes
• ¡No te rompas la cabeza! esquemas moleculares.
A) 1 B) 2 C) 3 I. p ∧ r
D) 4 E) 5 II. r → q
III. p ∨ q
2. De las siguientes proposiciones, ¿cuántas A) FVF B) VFV C) FFF
son simples? D) VVV E) VFF
• Carlos Marx nació en Alemania.
• Enrique es médico o estudia arquitectura. 6. Reducir el siguiente esquema molecular:
• Todos los hombres no son mortales. ∼ [∼ (p ∧ q) → ∼ q] ∨ p
• La silla es de madera. A) p ∨ ∼ q B) ∼ p ∧ q C) p ∧ q
• Si mañana el cielo está nublado, en- D) ∼ p E) p ∨ q
tonces lloverá.
A) 1 B) 2 C) 3 7. Dada la tabla de verdad:
D) 4 E) 5 p q p,q
V V F
3. Determine el valor de verdad de cada una
V F V
de las siguientes proposiciones:
F V F
I. Si 2 + 3 = 7 entonces 5 + 5 = 10.
F F V
II. No es verdad que 3 + 3 = 7 si y solo
si 4 + 4 = 10. Determine la proposición equivalente a:
III. Es falso que si París está en Francia [(p , ∼ q) → (∼ p , q)] → p
entonces Berlín está en Inglaterra. A) p B) q C) ∼ p
IV. No es cierto que 1 + 1 es 3 o que D) ∼ q E) p ∨ q
2 + 1 = 3.
A) VVFF B) VFVF C) VVVV 8. Hallar el valor del esquema lógico:
D) FFFF E) VFFV [∼ (p → ∼ q) ∧ (∼ q ∨ r)] → (p ∨ r)

Tema 5 ARITMÉTICA SAN MARCOS SEMESTRAL 2023 - II 6

 Lógica Proposicional

A) q nivel 3
B) p
C) Contradicción 11. Si (p ∆ ∼ q) es verdadero y (q ↔ r) es falso,
D) Contingencia halle el valor de verdad de las siguientes
E) Tautología proposiciones en el orden indicado.
I. (p ∧ r) → (t → r)
9. Indicar el equivalente de la proposición: II. (p ∆ r) ∨ (t ∧ q)
“Si juan trabaja entonces hoy es miércoles, III. s → (q ∨ r)
pero ve televisión ya que hoy es miércoles. A) VFV B) FFF C) VFF
En consecuencia hoy no es miércoles.” D) VVV E) FVF
A) Hoy es miércoles y Juan trabaja.
B) Hoy no es miércoles o Juan ve tele- 12. Reduce el siguiente esquema molecular:
visión. [(∼ p ∨ q) → (∼ q ∨ p)] ∨ ∼ (p ∧ q)
C) Hoy es miércoles ya que Juan ve tele- A) q B) p C) ∼ p
visión. D) ∼ q E) ∼ p ∨ q
D) Juan no ve televisión.
E) Si hoy es miércoles entonces Juan no 13. Dadas las proposiciones:
ve televisión. I. Es necesario que Andrés no vaya al
cine para que termine su tarea.
10. Determine los valores de su matriz principal II. No es cierto que Andrés termine su
del siguiente esquema molecular: tarea o vaya al cine.
[(p ∧ q) → r] → r III. Andrés no termina su tarea y no va al
A) VVVFVFVF cine.
B) VVVFVFVV ¿Cuáles son equivalentes?
C) FVFFVFVF A) I y II B) II y III
D) FFFFFFFF C) I y III D) Todas
E) FVFVFVVV E) Ninguna

7 Tema 5 ARITMÉTICA SAN MARCOS SEMESTRAL 2023 - II