Está en la página 1de 4

Lógica proposicional I

LÓGICA PROPOSICIONAL I
La lógica proposicional llamada también simbólica Ejemplos:
o matemática, es parte de la lógica que estudia las ●● Luciana estudia Contabilidad o Adminis-
proposiciones y la relación que existe entre ellas a tración
través de las variables proposicionales y los conectores. ●● 2 + 8 ≥ 6
●● No es cierto que hoy sea lunes
1. Enunciado ●● Estudia, entonces ingresarás
Se denomina enunciado a toda expresión del len-
guaje común, el cual puede ser una frase, oración 3. Conectores lógicos
o expresión algebraica. Son símbolos que reemplazan a las conjunciones
Ejemplos: gramaticales y al adverbio de negación; estos co-
YY ¿Qué día es hoy? nectores permiten relacionar dos o más proposi-
YY ¡Auxilio! ciones simples, entre los más importantes tene-
YY Lima es la capital del Perú mos:
YY x + 2 > 3 3.1
Negación:
Notación: ∼
2. Proposición lógica Se lee: No es cierto que …
Llamada también enunciado cerrada; es todo Ejemplo:
enunciado que tiene la cualidad de ser verdadero P: Luis viajó a Ica:
(V) o falso (F) sin ninguna ambigüedad.
∼p : No es cierto que Luis viajó a Ica
Las proposiciones lógicas se denotan con letras  
minúsculas tales como: p, q, r, s, … ∼ p
Ejemplos: Tabla de verdad:
YY El sol es una estrella
YY 2 + 3 > 6 p ∼� p
YY Luis y María son hermanos. V F
YY Juan estudia y trabaja. F V

2.1
Proposiciones simples

Llamadas también proposiciones atómicas o
Nota:
elementales; son aquellas proposiciones con Algunas equivalencias de la negación son:
una sola idea, carecen de conjunciones gra- “no”; no es el caso...”
maticales y adverbio de negación (no).
Ejemplo:
●● p: Rubén es arquitecto. 3.2
Conjunción
●● q: Luis es compañero de José. Notación: ∧
●● r: 3 y 4 son números consecutivos. Se lee: … y …
Ejemplo:
2.2
Proposiciones compuestas p: Ángel estudia
Llamados también proposiciones molecula- q: Ángel trabaja
res; son aquellas proposiciones con dos o más
ideas unidas por conjunciones gramaticales; p ∧ q : Ángel estudia y trabaja
   
o que contienen el adverbio de negación no. p ∧ q

ELITE 01 Prof. Yván Flores


Tabla de verdad

Nota: Nota:

Tambien equivalen al conector conjunción Otras formas son:


las palabras, pero; sin embargo; aunque; pór consiguientes, luego; de manera que, etc.
además, no obstante, incluso, tambien, etc. Condiciones inversa (←) ya que; puesto que;
porque, etc.
3.3 Disyunción débil
Notación: ∨ 3.5 Bicondiconal
Se lee: … o … Notación: ↔
Ejemplo: Se lee: … si y solo si
p: José va al teatro. Ejemplo:
q: José va al cine. p: Mañana es miércoles
p ∨ q : José va al teatro o al cine q: Hoy es martes
  
p ∨ q p ↔ q: Mañana es miércoles si y solo si hoy es
martes.
Tabla de verdad
Tabla de verdad



3.4
Condicional
Notación: →
Se lee: … entonces ….
Nota:
p: Bertha nació en Lima.
q: Bertha es limeña. Algunas equivalentes pueden ser: Cuando y
solo cuando; entonces y solo entonces.
p → q : Bertha nació en Lima , entonces es limeña
      
p → q

ELITE 02 Prof. Yván Flores


Trabajando en clase
Integral Resolución
1. ¿Cuántos de los siguientes 5. Si � (p ∧ q) es falso, deter-
enunciados son proposicio- mina (� p → q) ∧ q
nes lógicas?
a) Huancayo queda en Junín. 6. Si la expresión :
b) ¿ Puedes prestarme tu (p ↔ � q) →� p es falsa, se-
libro? ñala el valor de verdad de:
c) ¡Feliz cumpleaños! � p ∧ (q → p)
d) x + 1 < 9
7. Si p y q son proposicio-
e) 5 − 6 ≤ 7
nes falsa y verdadera,
2. ¿Cuántos de los siguientes respectivamente, seña-
enunciados son proposi- la el valor de verdad de
ciones lógicas? la siguiente proposición:
a) López Meneses es un poeta ↔ ↔ ↔
b) 6 +3 > 8
c) x 2 ≤ 2 UNMSM
d) Perú y Chile son países ve- 8. Determina la tabla de verdad
cinos de: (p ∧ q) → � p
Resolución:
e) Todas

3. Determina la tabla de ver-


dad de: (p ∨ � q) →� p

PUCP
4. Si: � (p ∨ q) es verdadero,
Rpta.:
determina (p → q) ∧ q
Resolución Matriz principal
9. Determina la tabla de verdad
de
(q → p) ∧ � p 13. Si (p ∧ r) y (� r ∨ q) son es-
quemas moleculares falsos,
10. Si la proposición es falsa, ¿cuál de las siguientes propo-
determina los valores de siciones es verdaderas?
p, q, r y s, respectivamente
I. (r → � p) ∧ q
(p ∧ � q) → (r → � s)
II. (� r ∨ � p) → (p → � r)
11. De la falsedad de la propo- III. (r ∨ � q) ↔ (p ∧ � r)
sición (p → � q) ∨ (� r → s)
deduce el valor de: 14. Sabiendo que la proposición
(� p ↔ r) ∧ � s  “p” es verdadera, ¿en cuáles
de los siguientes casos es su-
UNI ficiente dicha información
12. Si (p ∧ q) y (q → t) son fal- para determinar el valor de
sas, ¿cuáles de las siguientes verdad de las siguientes pro-
proposiciones son verdaderas? posiciones?
Rpta.: I. (� p ∨ t) ∨ s I. (p ∨ q) ↔ (� p ∧ � q)
II. �  p ∧ (� q ∧ � p) II. (p ∧ q) → (p ∨ r)
III. � p ∨ (q ∧ � t) III (p → q) → r

ELITE 03 Prof. Yván Flores


Sigo practicando

15. ¿Cuántos de los siguientes a) V d) F II. No es cierto que 6 + 6 = 12,


enunciados son proposiciones b) � p ∨ p e) Ambigua entonces 7 + 7 = 13
lógicos? c) r → p III. Si 6 + 8 = 14 y 8 + 8 = 16
- El nació en Lima. IV. 7+3≠10 Si solo si 5 + 2 = 7
- 2 es número primo. 20. Si p y r son verdaderas, señala a) FFFF d) FVFV
el valor de verdad de la propo- b) VVVV e) VVFF
- ¿Qué día es hoy?
sición: c) FVVF
- ¡Ayúdame! ~[(p→~r)∧(p∨r)]
- 6−3≤ 9 a) V b) p∧ � r 26. Indica el valor del esquema
a) 3 d) 4 molecular si p = V; q = F y r = V
c) r ∧ � r d) p ∧ � p
b) 1 e) 5 [(p → q) ∧ (q → r)] → (p → r)
c) 2 e) p → � r
a) V b) F
16. ¿Cuántas proposiciones son 21. Determina la tabla de verdad
c) p∧ � p d) � q→q
simples? del siguiente esquema mole-
e) � p ↔ p
cular:
- 2 + 8 ≤ 6
� [(p∧ q) ↔ (q ∨� p)] → p
- x + 3 ≥ 9 27. Si (~p∧q) y (r→p) son propo-
- O Luis es abogado o Inge- siciones verdadera y falsa res-
a) VFVF b) VVFF
niero. pectivamente. ¿Cuáles de las
c) VVVV d) FFFF
siguientes proposiciones son
- Manuel estudia, entonces e) FFFV
verdaderas?
triunfa. 22. Si (~p∧~q)↔(~p∧t)) es ver-
I. (~q→r)∧~p
- 8 + 3 < 11 dadera, determina el valor de:
II.~[p∧(~q∧~p)]
a) 2 d) 3 (p∧q)∨t
III.[~q↔p]∨t
b) 4 e) 1 a) V b) F
a) Solo I d) I y II
c) 5 c) � p ∧ p d) t → p
b) Solo II e) Todas
e) p ∨ q
c) Solo III
17. Determina la tabla de verdad
del siguiente esquema mole- Nivel avanzado 28. Sabiendo que la proposición
cular: [(� q ↔ s) ↔ s ] “p“ es verdadera, ¿En cuáles de
23. Si la proposición
a) VVVV d) FFVV las siguientes casos es suficien-
(p → (p ∧ � q)) ∨ (r∨ t) es fal-
b) VFVV e) FFVV te dicha información para de-
sa, determina los valores de
c) VVFF terminar el valor de verdad de
p, q, r y t, respectivamente.
a) VVFF b) VFVF las siguientes proposiciones?
18. Simbolizar: c) FVFV d) FFVV I. ~[(p∨q)→(∨→~p)]
Si no trabajo y no duermo, en- e) FVFF II.(p∧r)→(p∧q)
tonces no ayudo a mis padres. III.(p∧t)↔p
24. Si el esquema molecular: a) Solo I d) I y II
a) (p ∧ � q) ∨� r
b) (p∨ q) ∧ r [(p∧ q) →� p ] ∨ (p∧ r) es fal- b) Solo II e) Todas
so, deduce el valor de verdad c) Solo III
c) (� p ∧� q)∧ � r
de: ~(p→~q)∧(p→r)
d) (� p ∧� q) →� q a) ~q b) p∧ � q 29. Si “q” es falsa y la proposición
e) (� p ∧� q) →� r c) V d) F [(p →� q) ↔ (s∧ p)] ∨ (r ∧� q)
e) ∨p
también, determina los valo-
Nivel intermedio
25. Determina el valor de verdad res de p, r y s.
19. Si ~[(p → q)→ q] es verda- de los siguientes enunciados: a) FVV d) FFV
dera, señala el valor de verdad I. No es verdad que 5 + 5 = 10 b) VFF e) VVV
de: ~[(p ∨ q)∧~ q] o 8 + 6 = 12 c) VFV

ELITE 04 Prof. Yván Flores

También podría gustarte