LÓGICA PROPOSICIONAL

1.-LA LÓGICA PROPOSICIONAL también llamada Donde n es la cantidad de proposiciones simples.

simbólica o matemática, estudia las proposiciones y
símbolos utilizados en la formación de nuevas IMPORTANTE:
proposiciones que podrían ser verdaderas o falsas,  Cuando los valores del operador principal son todos
señaladas por reglas formales. verdaderos se dice que el esquema molecular es
tautológico.
2.-ENUNCIADO: es cualquier frase u oración que
expresa una idea.  Se dirá que el esquema molecular es contradictorio si
Ejemplo: los valores del operador principal son todos falsos.
- Puno es la capital de Perú.
- ¡Buenos noches!  Si los valores del operador principal tiene por lo menos
- 19 < 10. una verdad y una falsedad se dice que es contingente
o consistente.
3.-PROPOSICIÓN: es una sentencia declarativa que
puede ser verdadera o falsa. 6.-LEYES DE ÁLGEBRA PROPOSICIONAL
Ejemplo:
- Los triángulo tienen cuatro vértices Son equivalencias lógicas que nos permiten reducir
- 32 - 23 = 9 esquemas moleculares complejos y expresarlos en
forma más sencilla. Las demostraciones de dichas
CLASES DE PROPOSICIONES leyes se hacen construyendo la tabla de verdad en
Simples o atómicas Compuestas o moleculares cada caso.
No tienen Formada por dos o más
conjunciones proposiciones simples Principales Leyes:
gramaticales ni unidas por conectivos
adverbio de lógicos o por el adverbio de a. Ley de Idempotencia: p  p  p
negación. negación. p  p  p
Ejemplo: Cincuenta Ejemplo: 29 es un número
es múltiplo de diez. primo y 5 es impar. b. Ley Conmutativa: pq  q  p
pq  q  p
c. Ley Asociativa:
4.-CONECTIVOS LÓGICOS: Símbolos que enlazan dos (p  q)  r  p  (q  r)
o más proposiciones simples para formar una (p  q)  r  p  (q  r)
proposición compuesta. Los conectores lógicos que
usaremos son: d. Ley Distributiva:
p  (q  r)  (p  q)  (p  r)
SÍMBOLO OPERACIÓN LÓGICA SIGNIFICADO p  (q  r)  (p  q)  (p  r)
~ Negación No p
 Conjunción p y q e. Ley de la Doble Negación: ~ (~ p)  p
 Disyunción p o q
 Condicional Si p, entonces q f. Leyes de Identidad:
 Bicondicional p si y sólo si q pV  V ; pF  p
 Disyunción Exclusiva “o … o …” pV  p ; p F  F

5.-TABLA DE VALORES VERITATIVOS g. Leyes del Complemento:

p~p  V
p q      p q p~p  F
V V V V V V F F F
V F V F F F V F V h. Ley del Condicional: pq~pq
F V V F V F V V F
F F F F V V F V V i. Ley de la Bicondicional:
p  q  (p  q)  (q  p)
OBSERVACIÓN: p  q  (p  q)  (~ p  ~ q)
p  q  ~ (p  q)
La cantidad de filas en una tabla es: # filas  2n
CEPREUNTELS – Ciclo Académico 2015-II Pág. - 1 -
Aritmética Teoría y ejercicios – Semana #

j. Ley de Absorción: A) VVVV B) FFFF C) VVFV D) FFFV E) FVFV

p  (p  q)  p
p  (p  q)  p 3. De la falsedad de la proposición: p  q   r  s 
p  (~ p  q)  pq se deduce que el valor de verdad de los esquemas
p  (~ p  q)  pq moleculares:

k. Leyes de "De Morgan": I) : p : q  : q

~ (p  q)  ~ p  ~ q
II) : r  q  : q  r   s
~ (p  q)  ~ p  ~ q
III) p  q  p  q  q
7.-CUANTIFICADORES: Son respectivamente:
Cuantificador Universal: Cuantificador existencial:
A) VVV B) VFV C) FFV D) VVF E) FFF
Sea la función proposicional Sea una función proposicional
sobre un conjunto A, el sobre un conjunto A el 4. ¿Cuántos enunciados abiertos hay a continuación?
cuantificador ("para todo") cuantificador (existe algún)
indica que todos los valores indica que para algún valor del - Él es arquitecto
del conjunto A hacen que la conjunto A, la función
función proposicional sea proposicional es verdadera.
verdadera. - 9x + 3 = 12 , x  R
 se lee : "Existe algún"
 se lee : "para todo "
- x es Ingeniero y Juan es Matemático
- 3x – 8 > 15 , x  R
Ejemplo: Ejemplo:
Sea f(x): x2 – 5 < 8, donde: x 
- 28 < 15
Sea: f(x) : x  2  5
3
Z+, la proposición: - x es hermano de y
donde x  N  x  Z+ / x2 – 5 < 8 es
verdadera. A) 5 B) 4 C) 3 D) 2 E) 1
La proposición cuantificada
es:  x  N ; x 3  2  5 es 5. Si p y q son proposiciones falsa y verdadera
falsa. respectivamente , halle el valor de verdad de las
siguientes proposiciones:
8.-CIRCUITOS LÓGICOS a) pV(p→q)
b) p Λ ( p→ q )
Circuito Serie: Dos Circuito Paralelo: Dos c) (pVq)→p
interruptores conectados interruptores d) (p V q ) ↔ [ p Λ ( p→ q ) ]
en serie representan una conectados en paralelo
conjunción. representan una A) VVFF B) VFFV C)FVFV D) VFVF E) FFFF
disyunción.
6. Al desarrollar la tabla de verdad del siguiente
esquema molecular ( p  q)  ( p  q) ;
obtenemos

A) Tautología B) Contradicción C) contingencia

EJERCICIOS DE CLASE D) Que faltan datos E) Que es incompatible

1. Halle la diferencia entre el número de proposiciones 7. Considerando las proposiciones simples:

y el número de quienes son sólo enunciados
p: tengo razón y q: estoy loco.
a) 5+7 = 16 - 4 ( )
b) ¡Estudie lógica proposicional! ( ) Formalizar: Si tengo razón, entonces estoy loco. Pero
c) Los hombres no pueden vivir sin oxígeno ( ) si estoy loco, entonces tengo razón. Por tanto, no
d) 3 x 6 = 15 + 1 y 4 - 2  23 x 5 ( ) estoy loco.
e) ¿El silencio es fundamental para estudiar?( )
f) 20 -18 = 12 ( ) A) p  q   q  p : q B) p   q  p  q
C) p  q   q  p : q D) p  q   q  p  q
A) 0 B) 1 C) 2 D) 3 E) 4
E) p  q   q  p  q
2. Si la proposición p : q  r : s es falsa, halle el 8. Sean las proposiciones p, q, r, cuyos valores de
valor de verdad de s; r; q y p; respectivamente. verdad es V, F y F, respectivamente; halle el valor

Pág. - 2 -
Aritmética Teoría y ejercicios – Semana #
de verdad de las siguiente proposiciones 4. Simplifique [p  (p q)]  [p  (q  p)]
compuestas:
I) r  p q II)  p q  p r    q  r  A) p B) p v p C) q  q

III) p q   q  r  D) p E) q

A) VVF B) FFV C) FFF D) VVV E) VFF

5. Dadas las equivalencias lógicas:
p Ω q ≡ [q  (q  (q v p)]
9. Si  p  q    r  p  es falso, determine el valor de
p  q ≡ p  (p v q)
verdad de las proposiciones siguientes:
Simplifique [(p Ω q)  (p  q)] v q
I)  p  q   r II)  p  q    r  p 
III)  p  q    q r A) q B) p C) p  p
A)FVV B) FFF C) VVV D) VFV E) FFV
D) q v p E) p v q
10.-Dada la siguiente equivalencia lógica p * q  pq 6. Simplifique
, reduzca  p* p     p * q  * q . [ (q  p)  (p  q) ]  [(q  p)  (p  q) ]
A)V B) F C)p D) q E) p
A) q  p B) p  q C) p
11.-Dados los siguientes esquemas tautológicos: D) q E) p v q
 pq    p  t  y  q  q  ; halle los 7. Sea p una proposición lógica, definimos
valores veritativos de p;q y t. 0;si p es falso
G p   
1;si p es verdadera
A)FVV B) FFF C) VVV D) VFV E) FFV Si G(s  (p v q)) = 0 y G(q  (r  q)) = 1,
Halle el valor de:
12.-Halle el equivalente lógico de  p  q   q  p
A) p  q B) p  q C) p  q D) p E) q K = 3G(sr) + 2G(q v p) – G(r  q)

EJERCICIOS DE EVALUACIÓN A) 3 B) 2 C) 0 D) 1 E) 4

1. Sean las proposiciones

p: Roberto estudia 8. Indique el valor de verdad de las proposiciones
q: Roberto se divierte siguientes:
t: Roberto trabaja. I. p  (p v q) II. (p  q)  p
III.  [(p  q)  p]
Simplifique la negación de la expresión simbólica del
enunciado siguiente: “Si es el caso que Roberto
A) VFV B) VVV C) VVF
estudia, entonces el no se divierte o trabaja”.
A) tqp B) (pq)t C) pqt D) D) FVV E) FFV
(pq)t E) ptp
9. Al definir el operador lógico
2.-Halle la tabla de valores de verdad de
[ p  (p  q)]  [q  (q  p)] p q p*q
V V V
A) VFFF B) VVFF C) VFFV V F V
D) FVFV E) FVFF F V F
F F V
3. Si el valor de verdad de la proposición:
[ p  ( p  q ) ] es falsa, halle el valor de verdad Simplifique la proposición
de las siguientes proposiciones: [(p * q) *p]  (p * q)

I.  [p  (q  p ) ] A) p  q B) p  q C) p  q
II. [ ( p  q )  ( p  q ) ]
III. [ (p ↔ q )  ( p  q ) ] D) q E) p  q

A) FFV B) FVV C) VFV

D) VFF E) FVF
Pág. - 3 -
Aritmética Teoría y ejercicios – Semana #
10. Sea U = {x  R/ 5 ≤ x ≤ 20} el universo. Halle el
valor de verdad de:

I.  x  U/  y  U : x - y < 3
II.  x  U:  y  U / 2x > y + 2
III.  x  U,  y  U / x – y < 13

A) VFV B) VVV C) VVF

D) FVV E) FFV

11. Simplifique el siguiente circuito

~q

~p
A q B
~p
~q

~p

A) q  p B) p v q C) p
D) p v q E) q

12.Halle los valores de verdad de la proposición

compuesta: [(p  r)  (q  r)] ↔ (p  q)

Dé como respuesta cuántas V y F hay

respectivamente.

A) 6 y 2 B) 3 y 5 C) 7 y 1
D) 4 y 4 E) 5 y 3
13. Si el valor de verdad de la proposición:
(q  p)  [ (t  p)  (t  p) ] es verdadera, halle el
valor de verdad de p, q y t respectivamente.

A) FVV B) FFV C) VFV

D) FVF E) FFF

Pág. - 4 -