ACADEMIA EULER LÓGICA 01

TEMA 01: LÓGICA PROPOSICIONAL

BASE TEÓRICA 5.2 Proposición Conjuntiva o Conjunción ( Ù )

1 Definición Es verdadera solo si sus proposiciones componen-
Es el estudio de las proposiciones lógicas o senten- tes son verdaderos; en otros casos, será falsa.
cias lógicas, en donde se intenta evaluar la verdad y Lectura:
su nivel absoluto. p q pÙ q Y, pero, más, también,
V V V aunque (.,;)
2 Enunciado
Es toda frase u oración (escrita o hablada). 5.3 Proposición Disyuntiva Inclusiva o Disyun-
Ejemplo: ción ( Ú )
• Pedro es ingeniero industrial. Es falsa solo si sus porpocisiones componentes son
• Quiero ese juguete. falsas; en otros casos, es verdadera.
• ¿Quién es?
p q pÚ q Lectura:
3 Proposición F F F O.
Son pensamientos en los que se afirma algo y que
se expresan, mediante enunciados u oraciones 5.4 P. Disyuntiva Exclusiva o Fuerte ( D )
declarativas. Es verdadera, si las propocisiones que la conforman
Ejemplo: tienen valores de verdad diferentes.
• El sol es una estrella.
p q p Dq Lectura:
• El perro es un animal herbívoro.
V F V O...o..., o, o solo, o sola-
4 Proposición Lógica. F V V mente.
Es el significado de una expresión aseverativa que
se caracteriza por tener un solo valor veritativo, es 5.5 Proposición Condicional ( ® )
decir, el significado presenta la posibilidad de ser Es falsa, solo en el caso que el antecedente es ver-
verdadero o falso, pero no los dos a la vez. dadero y el consecuente es falso.
Lectura:
Como nos interesa manejar las relaciones entre p q p® q Si, entonces; por consi-
propocisiones,los simbolizamos mediantre letras V F F guiente, en conclusión, por
minusculas: p, q, r, s, ... A estas se les de denomina tanto.
variables propocisionales.
5.6 Proposición Bicondicional ( « )
4.1 Proposición Simple o Atómica Es verdadera en el caso de que las proposiciones
Aquella proposición con un solo significado carece que la conforman tenga el mismo valor de verdad.
de conjunciones gramaticales y del adverbio de
negación “no”. p q p« q
Lectura:
V V V
Si y solo si, si y solamente
4.2 Proposición Compuesta o Molecular F F V si.
Son proposiciones unidas por conjunciones gra-
maticales o aquellas que contienen el adverbio de
6 Circuitos Lógicos
negación “no”.
Es un arreglo de interruptores conocidos como com-
puertas lógicas, donde cada compuerta lógica tiene
5. Análisis de las Propocisiones Compuestas
su tabla de verdad.
Básicas
6.1 Circuito en Serie
5.1 Proposición Negativa o Negación (~) p q
Son aquellas propocisiones que hacen uso del ad- p Ù q:
verbio “no” o sus expresiones equivalentes.
6.1 Circuito en Paralelo
p ~p p
Lectura:
V F No, no es cierto que, no es verdad p Ú q: r
F V que, ni, es imposible que. q
 ACADEMIA EULER LÓGICA 02

7 Leyes de la Lógica Proposicional EJERCICIOS DE APLICACIÓN

Idempotencia DESAFÍO I
i p∧p ≡p
1. ¿Cuál de los siguientes enunciados es unna
i p∨p ≡p
proposición?
a) ¡Buenos días!
Conmutativa b) Perro que ladra no muerde.
i p∧ q≡ q∧p c) Lima es capital del Perú.
i p∨ q≡ q∨p d) ¿Cuál es tu nombre?
e) Gracias.

Asociativa 2. Indique cual no es una proposición.

i (p ∨ q) ∨ r ≡ p ∨ (q ∨ r ) a) Chimbote está al sur de Lima.
i (p ∧ q) ∧ r ≡ p ∧ (q ∧ r ) b) Colombia es un país europeo.
c) Madrid es capital de España.
d) ¡Qué bonita eres!
Distributiva e) Mi estatura es 1,65 m.
i p ∨ (q ∧ r ) ≡ (p ∨ q) ∧ (p ∨ r )
i p ∧ (q ∨ r ) ≡ (p ∧ q) ∨ (p ∧ r ) 3. ¿Qué tipo de proposición disyuntiva es cada
una de las proposiciones siguientes?
• O te portas bien o te regresas a la casa.
De D ' Morgan • México está en América o Europa.
i ∼ (p ∨ q) ≡∼ p∧ ∼ q • Me amas o no me amas.
i ∼ (p ∧ q) ≡∼ p∨ ∼ q a) Fuerte, débil, débil.
b) Débil, débil, fuerte.
c) Fuerte, débil, fuerte.
De Absorción d) Débil, fuerte, débil.
i p ∨ (p ∧ q) ≡ q e) Fuerte, fuerte, débil.
i p ∧ (p ∨ q) ≡ p
4. ¿Cuántas son proposiciones simples?
i p ∨ (∼ p ∧ q) ≡ p ∨ q
• Kelly es estudiosa.
i p ∧ (∼ p ∨ q) ≡ p ∧ q
• Pedro es honrado y trabajador.
• Brasil es el pentacampeón.
De la Condicional • Ella es buena o mala.
i p → q ≡∼ p ∨ q a) 0 b) 1 c) 2 d) 3 e) 4

De la Bicondicional 5. Indique el antecedente de las siguientes propo-

siciones.
i p ↔ q ≡ (p → q) ∧ (q → p)
• Iré a la fiesta si me dan permiso.
• Si apruebas el exámen viajaremos a Cuzco.
Del Complemento • Si Mónica es peruana entonces es sudame-
i p ∨∼p≡ V (Tauto log ía) ricana.
i p ∧∼p≡F (Contradicción) a) Iré a la fiesta; si apruebas el exámen; si Mó-
nica.
i ∼ (∼ p) ≡ p
b) Iré a la fiesta; viajamos al Cuzco; es sudame-
ricana.
De la Identidad c) Si me dan permiso; viajamos al Cuzco; es
i p∨V ≡ V sudamericana.
d) Si me dan permiso; si aprebas el exámen; es
i p∧V ≡p sudamericana.
i p∨F ≡ p e) Si me dan permiso, si apruebas el exámen, si
i p∧F ≡F Mónica es peruana.
 ACADEMIA EULER LÓGICA 03

6. Simbolizar la siguiente proposición: “Si como 11. Se define el operador ¯ mediante la siguiente
demasiado entonces engordo, y engordo, por lo tabla de verdad.
tanto como demasiado”.
Siendo: p q p¯q
p: Como demasiado V V F
q: Engordo V F F
a)(p → q) ∨ (q → p) F V V
b)(p ∨ q) ∧ (p → q) F F F
c )(q → p) ∨ [p → (p ∧ q)]
Halle: (p ↓ q) ↓ p → (p ↓ q)
d)(p → q) ∧ (q → p)
e) (p ∧ q) → q a) p b) ~q Ù p c) ~q d) ~p e) p Ú ~q

7. Represente simbolicamente: “ Iremos a nadar a

menos que el cielo no esté despejado, ya que 12. Si  es un conectivo lógico definido mediante
no hemos traído carpa”. p  q = (p ∨ q) ∧ {∼ (p ↔ q) ∨ (p ↔ q)} , enton-
ces al simplificar la siguiente fórmula lógica
a)  p → (r ∨ q) b) ( p ∨ r ) ∧ q c ) (p ∨ q ∨ r )
{(p ∨ q)  (p ∧ q) ∼ q} ∧ (q ∧ (p ∨ q)) se obtiene:
d) (p ∨ r ) → q e ) p ∨ (q ∧ r )
a) p Ù q b) p Ú q c) p d) q e) p ® q
DESAFÍO II

8. De las siguientes proposiciones, ¿Cuáles son 13. Halle la expresión equivalente que representa al
equivalentes entre si? circuito.
I. Es necesario que juan no vaya al cine para  (p ∧ q)
que termine su tarea.
II. No es cierto que Juan termine su tarea y vaya  (p ∧ q) ~q
al cine.
III. Juan no termina su tarea y no va la cine. r
a) I y II b) II y III c) I y II
d) I, II y III e) Ninguno a) p b) ~p c) q d) ~q e) (p Ù q)

9. Simplifique: 14. Se definen los operadores lógicos * y  me-

diante:
{   }
  (p ∧ (p ∨ r )) ∧ q ∨  ( p → q) ∧ ( p ∨ q) ∧ r  → [ q ↔ p ]
p ∗ q =∼ p →∼ q
   }
( p → q) ∧ ( p ∨ q) ∧ r  → [ q ↔ p ] p  q =∼ p ∧ q

a) ( p ↔ q) → r Entonces, al simplificar la fórmula lógica

b) (p ∨ q) ∧ ( q ∨ r ) ((∼ q)  p) ∗ ((∼ p)  q)
 
c) p ↔ q
Se obtiene:
d) (p → q) ∧ ( q → p)
a) p b) q c) (p Ù q) d) p Ú q e) v
e)  q → p

10. Si: (p ∨ q) ≡ F DESAFÍO III

Entonces el valor de verdad será:
15. Usando las leyes lógicas, simplifique la siguien-
• ( p ∨ q) → q te fórmula lógica:
 
• ( q∨  p) ∨ p
  {(p ∧ q) ∨ p ∧ (p∆q) ∨ (p ↔ q)} ∨
• (p ∧ q) → (p ∨ q) (p∨  q) ∧ (p ∨ q)
 

a) VVF b) FFV c) VFV d) FVV e) VVV a) p b) q c) (p Ù q) d) p Ú q e) ~p

 ACADEMIA EULER LÓGICA 05

16. Se definen. ¡¡TÚ PUEDES!!

p∇q ≡ p∧  q
p ↑ q ≡ p ∨ q
1. Simbolizar la siguiente proposición: “Si yo
estudio, apruebo, y si no estudio entonces
Halle el valor de verdad de las siguientes propo- me divierto, por lo tanto si no apruebo me
siciones: divierto”.
p: Yo estudio
I. p → q ≡ (p∇  q) q: Apruebo
r: Me divierto
II.  (p∇q) ∨ (p ↑ q) ≡ p → q
III. p ↑ q ≡ ( p∇q) a) (p → q) ∧ (~ p → r ) → (~ q → r )
b) (p → q) → r
a) VFV b) VVF c) FVF c ) (p → q) ∧ (p → r ) ∧ (q → r )
d) FFV e) VVV d) (p → q) ∧ (~ p →~ q) → r
e) (p → r ) → q
17. Establesca el circuito para:
2. Dados los siguientes esquemas tautológi-
cos.
 { (p ∨ q) ∧ r  ∨  q}
(p∆q) ↔ ( p → t)
En la versión simplificada.  (q → q)

Calcule los valores veritativos de p, q y t.

a) p q r
a) VVV b) VFF c) FVF
p d) FVV e) VVV
b) r
q 3. Representar: p ∧ (p → q)

c) q r a) p ~q q

p
d) q r b)
~p q
p
e) q p
r c)
~p q

~p
18. Determine la proposición correspondiente y sim-
d) p
plifique el siguiente circuito:
q

p
p ~q
e) q
~p

~p q
“La calidad de tu vida depende
~p ~q de la calidad de tus pensamien-
tos”. (Marco Aurelio)

a) p Ù q b) p Ú q c) ~p Ù ~q
d) ~p Ù ~q e) ~p Ù q