Está en la página 1de 9

Academia «ALFA» Lógica Proposicional

–1–

curso:
Lógica Proposicional
Profesor: Jaime J. Cruz Quiñones

Verano 2023

LÓGICA PROPOSICIONAL Tambien se llaman enunciados


cerrados.
Es una rama de la lógica clásica Así por ejemplo tenemos las
que estudia las proposiciones, siguientes proposiciones:
sus posibles valores de verdad - p: Pedro Cas tillo es
presidente del Perú
y en el caso ideal; su nivel
Luego: p  V
absoluto de verdad.
- q: Huaraz no es la capital
de Ancash
ENUNCIADO: Luego: q  F
Se llama así a cualquier frase
u oración que usamos para ENUNCIADO ABIERTO:
comunicar o expresar algo. Se llama así a aquellos
Por ejemplo: enunciados que contienen una
- ¡Auxilio, me ahogo! o más variables.
(Exclamativa) Estos no pueden ser ni
- No conversen en clase
verdaderos ni falsos, ya que
(Desiderativa)
- Lima es la capital del no afirman nada.
Perú (Afirmativa) Ejemplos:
- ¿Qué día es hoy? - X es la capital de Uruguay
(Interrogativa) - Ese planeta es del sistema
solar
- x -13 = 28
PROPOSICIÓN: - 2x-7 > 25
Son aquellos enunciados - Aquella letra es una vocal
afirmativos del cual se sabe
que tiene un valor de verdad Sin embargo estos enunciados
único: o verdadero o falso. abiertos se pueden convertir
Las proposiciones se en proposiciones verdaderas o
representan por las letras falsas - ¿cómo? – reemplazando
minúsculas: p, q, r, s, t, .... la variable o variables por un
valor conocido.
Academia «ALFA» Lógica Proposicional
–2–
- X es la capital de Uruguay están unidas a través de
Si X=Buenos Aires entonces conectivos lógicos.
la expresión se lee:
«Buenos Aires es la capital CLASIFICACIÓN DE LAS
de Uruguay». Se observa el PROPOSICIONES COMPUESTAS
enunciado abierto se convirtió (Conectivos Lógicos)
en una proposición falsa.
1.- NEGACIÓN:
Si X=Montevideo entonces la
Negación es aquel conectivo que
expresión se lee:
cambia el valor de verdad de
«Montevideo es la capital
la proposición.Se lee como
de Uruguay». Ahora el
«NO».
enunciado abierto se convirtió
en una proposición verdadera.

CLASES DE
PROPOSICIONES:
A) Proposiciones Simples:
También llamadas proposiciones 2.- CONJUNCIÓN:
atómicas o elementales, son Contiene el conectivo lógico
aquellas proposiciones que «y» o sus equivalentes (además,
tienen un solo sujeto y un solo sin embargo, no obstante, pero,
predicado. a l a vez , .. ) l o s q u e s e
Ejemplo: simbolizan así: 
- José de San Martín nació en Para hallar el valor de la
Venezuela verdad de una conjunción se
- Dos al cubo es igual a ocho utilizará la siguiente tabla:
- 32+1 = 10 «p y q»

B) Proposiciones Compuestas:
También llamadas proposiciones
moleculares o coligativas. Se
denomina así a aquellas que
están constituidas por dos o
másproposiciones simples,
estas proposiciones simples
Academia «ALFA» Lógica Proposicional
–3–
3.- DISYUNCIÓN SIMPLE, 5.- CONDICIONAL:
DÉBIL O INCLUSIVA: Es aquella proposición
Es aquella proposición compuesta que se caracteriza
compuesta que se caracteriza porque contiene el conectivo
porque contiene el conectivo lógico «si...entonces...» el
lógico «o» el que se simboliza que se simboliza porluego
así:  «pq» se lee «si p entonces
Para hallar el valor de la q».
ver dad de un a dis yun ción La tabla de verdad de una
inclusiva se utilizará esta condicional es:
tabla: «p o q»

4.- DISYUNCIÓN DOBLE,


6.- BICONDICIONAL:
FUERTE O EXCLUSIVA: Esta proposición compuesta se
Es aquella proposición caracteriza porque tiene el
compuesta que se caracteriza conectivo lógico «si y solo
porque contiene el conectivo
si» cuyo símbolo es: . Para
lógico «O...o...» el que se
hallar el valor de la verdad
simboliza por: 
de una bicondiconal se
Para hallar el valor de la utilizará la siguiente tabla:
ver dad de un a dis yun ción «p si y solo si q»
exclusiva se utilizará esta
tabla: «O p ó q»
Academia «ALFA» Lógica Proposicional
–4–
LEYES DEL ÁLGEBRA c) p  V  V  p  V
PROPOSICIONAL d) p  F  F  p  p

1. Ley de Idempotencia:
6. Ley de Absorción:
a) p  p  p
a) p   p  q   p
b) p  p  p
b) p   p  q   p
2. Ley Conmutativa:
a) pq q p c) p   ~ p  q   p  q
b) pq  q p
d) p   ~ p  q   p  q
c) p q  q p
d) pqq p 7. Ley del complemento:
a) p  ~ p  F
3. Ley Asociativa:
b) p  ~ p  V
a) p  q  r  p   q  r 
c) ~  ~ p   p
  p  q  r

b) p  q  r  p   q  r  8. Ley de Morgan:

a) ~  p  q   ~ p  ~ q
  p  q  r
b) ~  p  q   ~ p  ~ q
4. Ley Distributiva:

a) p   q  r  9. Ley de la condicional
a) p  q  ~ p  q
  p  q   p  r 
b) p  q  ~ q  ~ p
b) p   q  r 
10. Ley de la Bicondicional
  p  q   p  r 
a) p  q   p  q    q  p 
5. Ley del Elemento Neutro: b) p  q   ~ p  q    ~ q  p 
a) p  V  V  p  p
c) p  q   p  q    ~ p  ~ q 
b) p  F  F  p  F
Academia «ALFA» Lógica Proposicional
–5–
PROBLEMAS PROPUESTOS Universidad, estudiar en la academia ALFA.

1.- Dados los siguientes enunciados, diga si


son enunciados abiertos, si son proposicio- 3) No solo estudio Razonamiento Lógico sino
nes y de que tipo de proposición se trata. también Razonamiento Matemático.

1) ¿Cuántos años tienes?


4) Maria estudiará ingeniería salvo que apren-
2) El 2 y el 9 son divisores de 18. da el curso de lógica.

3) Si x < 5, entonces 4x - 1 > 11.


5) La lógica es deductiva a no ser que sea
4) Te quiero mucho. inductiva.

5) Estudié virtualmente porque hubo


pandemia. 6) San Martín proclamó la independencia.
Bolívar conquisto el Perú.
6) No existe aves carnívoras.

7) El átomo es indivisible.. 7) Para ser médico es suficiente y necesario


estudiar en la universidad
8) La capital de Rusia es Moscú.

9) Esa chica es mi amiga. 8) El chimpancé, el orangután, y el mandril,


ninguno de ellos es felino.
10) Está lloviendo.

11) El número -1 es un número natural. 9) César Vallejo fue escritor, periodista o


político.
12) Mañana será miércoles.

13) El número 6 es menor al número 17. 10. Los perros son vertebrados pero
cuadrúpedos.
14) 4  10
3.Formalizar: “La obra principal de José
15) Alan Garcia está vivo o está muerto.
M. Arguedas es Los rios profundos o El zo-
rro de arriba y el zorro de abajo. Es por ello
2. Simboliza las siguientes proposiciones:
que se le reconoce como un gran escritor
1) Me iré a jugar fútbol si no tengo clases en
peruano”.
la tarde.
2) Es condición necesaria para ingresar a la
 p  q  r 
 ( p  r )  q
Academia «ALFA» Lógica Proposicional
–6–
C p  r   q D) T, T, T E) C, S, C
7. De los siguientes esquemas, indi-
D ( p  q )  r
E p   q  r  car en el orden dado si son Tautolo-
gía (T), Contradicción (C) o Contin-
4. Indique la simbolización correcta gencia (S).
de: «Si Euclides es profesor entonces
o bien enseña lenguaje o bien enseña I.  p   q  r 
geometría. Pero Euclides no enseña II.   p  q   r   p
lenguaje». III.    p  q    p  r  
A) p   q   r  q  
A) C, S, C B) T, S, C C) S, T, T
B) p   q   r   q   D) C, S, S E) S, S, S

C) p    q r  q  8. ¿Cuáles de las siguientes proposicio-


nes es siempre falsa?
D)  p   q  r    q
I.    p  q   p    p
E)  p   q  r     q II.    p  q    p   q 
III.    p  q    p  q     p  q )
5. Al hacer la tabla de verdad de la si-
guiente proposición compuesta: A) solo I B) solo II C) solo III
Te levantas temprano o estudias en la D) I y II E) I, II y III
noche si y solo si, no es cierto que no 9. Si se cumple que: p % q = 0010
te levantas temprano y que no estu- La matriz principal de:
dies en la noche. Se obtiene
A) Tautología. ~  p %  ~ p % q  
B) Contradicción. A) 0000 B) 0011 C) 1100
C) Contingencia. D) 1101 E) 1111
D) Falso.
E) Inválido. 10. Si se cumple que p % q = 0011
La matriz principal de:
6. De los siguientes esquemas, indi- ( p % ~ q ) % (~ p % q )
car en el orden dado si son Tautolo- A) 0010 B) 0100 C) 1011
gía (T), Contradicción (C), o Contin- D) 1100 E) 1110
gencia (S).
I.   p  q   q    p
II.   p  q     q  p 
III.   p  q r      p  q  p  r 
A) T, S, S B) C, C, C C) C, S, T
Academia «ALFA» Lógica Proposicional
–7–
11. Si p(x): 2x + 4 = 10 respectivamente
q(x): 3x -1 < 8 A) VVV B) VVF C)VFF
r(x): x +5 = 7 D) FVV E) FFV
Halle el valor de verdad (V) o falsedad
(F) de 15. Si la fórmula lógica:
I. p(3)  r(5)    p  q    ( q   r ) 
II.  r(2)  q(3) es falsa. El valor de verdad de:
III. q(2)  r(5)   r   q )   r    p  q  
A) V B) F C) Válido
A) VVF B) VVV C) VFV D) Contingencia E) Tautología
D) FFF E) FVF
16. Si el valor de verdad de la proposi-
12. Si se sabe que la proposición r es fal- ción:
sa, ¿En cuáles de los siguientes casos es
suficiente dicha información para deter-  p  ~ s    p  ~ q     r  s 
minar el valor de verdad de las proposi- es verdadera;
ciones? además r y s tienen diferentes valores
I. r  p )   r de verdad, determine el valor de verdad
de las siguientes proposiciones en el or-
II. ( q  s )  r
den indicado.
III.   p   p )  r I.  p   t  ~ t    p
A) solo I B) solo II C) I y II
D) I y III E) I, II y III II . ~  s   ~ q  ~ p  

1 3 . S i s es v er d ad er a y l a p r o p o si c i ó n :
III .  r  q   ~  q  t  
A) VVF B) VVV C) VFV
 ( s  p )  ( p  q )    p  r )
D) FFF E) FVF
es falsa, halle los valores de verdad de p,
q y r. 17. Si se cumple:
A) FFF B) VFV C) FFV
D) VFF E) VVV
~ p  q   p  r    s  t   ~ s  ~ t 
Determine el valor de:
14. Sea p, q y r proposiciones, además la
  p  r   s  ~ s    q  t
siguiente expresión es falsa.
A) F B) V C) V o F
~ ( p  ~ q)  ~ p (q  r )  D) t E) s
Indique el valor de verdad de p, q y r
Academia «ALFA» Lógica Proposicional
–8–
18. Si los valores de verdad de las pro- 22. Simplifique la proposición:
posiciones:   p  q    q  r   p    q  r 
 p  ~ q  V
A) p  ~ p B) p  r C) ~ p
q  r   F
D) ~ q E) p
Halle el valor de verdad de las siguientes
proposiciones en el orden indicado.
23. Simplifique la proposición:
I.  p  r   t  r 
~   p  q   ~  q  p     p  q 
II .  p  r   t  q 
A) p  q B) p  q C) ~ p
III . s  q  r 
D) ~ q E) p  q
A) VFV B) FFF C) VFF
D) VVV E) FVF
24. Simplifique la proposición:
19. Si la proposición: ~   ~ p  q   r  ~ p    r
~  ~ p  q    t  q    ~ p  q  q  ~ p 
A) p B) q C) ~ p
es verdadera, determine el valor de p, q
D) ~ q E) r
y t respectivamente.
A) VVF B) VFV C) FVV
25. Si:
D) VVV E) VFF
p*q  p   q   p  q
20. Si el esquema molecular: Simplifique la proposición:
~  q  r    ~ p  q    r  ~ r  ~ p   p  q    q  p
es verdadero,determine el valor de ver-
dad de p, q y r respectivamente. A) p B) q C) p  q
A) VVF B) VFV C) FVV D) p  ~ q E) q  p
D) VVV E) VFF
26. Simplifique la proposición:
21. La proposición «Si estudias entonces
aprenderás. Sin embargo, no estudias»,   q  ~ r   ~ p   p  ~ q 
es equivalente a:
A) Estudias o aprenderás. A) p   q  r  B) q ~ r
B) Si estudias, no aprenderás.
C) pq D) p   q  r 
C) No estudias.
D) Aprenderás dado que estudias. E) q ~ p
E) No aprendes.
Academia «ALFA» Lógica Proposicional
–9–
27. Dada la tabla de verdad: A) p  q B) p  q C) p  ~ q
D) ~ p  q E) ~ p  ~ q

31. El equivalente de la proposición:


«Hay que pagar 100 soles y ser socio
para ingresar al teatro», es
A) No ingresar al teatro o pagar 100 so-
les, y ser socio.
Determine el equivalente de: B) Pagar 100 soles o ser socio, y ni in-
gresar al teatro.
  p   q    ~ p  q    p C) Pagar 100 soles y ser socio, o no in-
A) p B) ~p C) ~q gresar al teatro.
D) Pagar 100 soles y no ser socio, y en-
D) q E) pq trar al teatro.
E) No es cierto que, pague 100 soles y
28. Si: p  q  ~  p  q  sea socio, o no ingrese al teatro.
32. Simplifique el circuito lógico:
  
simplifique: p  q  ~ p  q 
A) p B) q C) ~ p
D) ~ q E) p  q

29. Simplifique la siguiente proposición:

 q   ~ q  ~ p     p   ~ p  ~ q   p ~p p ~ q
A) B) C)
D) q E) pq
A) p  q B) ~ p  q
C) p  ~ q D) p  ~ q
32. Simplifique el circuito lógico:
E) p  q

30. Se sabe que:


pq ~ p  q
pq ~ q

Simplifique
 p   p  ~ q     ~ p  ~ q   ~ p  A) p B) ~p C) pq
D) ~q E) pq

También podría gustarte