1.

Identifique, subraye y simbolice los conectores lógicos en cada uno de las

siguientes proposiciones.

 No te encontré en tu casa. _________

 Fui al banco y estaba cerrado. ________
 Tengo una moneda de cinco centavos o una de diez centavos. __________
 El carro de Juan o es azul o es negro. _________
 Si me gano la lotería, entonces me compro una casa. __________
 Estudio en la ESPOL si y sólo si me esfuerzo. ___________

2. Indica cuales de las siguientes expresiones son proposiciones. En el caso

afirmativo señale además cuales son compuestas y cuales simples:

a. “Si estoy enfermo, necesito un doctor; y si tengo un accidente, necesito un

abogado.” _____________
b. “El pan podría aumentar un 15% en Santiago.” __________
c. ¡Qué calor que hace esta mañana! ________
d. “Hemos recibido varias denuncias de vecinos que han ido de compras y los listas
de precios no están en exhibición o los precios acordados no se respetan”
___________

3. Una traducción al lenguaje formal de “Guayaquil mejora su imagen, si la

Municipalidad realiza obras o los ciudadanos colaboran en el aseo de las
calles”, siendo las proposiciones simples:

m: La Municipalidad realiza obras.

n: Los ciudadanos colaboran en el aseo de las calles.
p: Guayaquil mejora su imagen.

es: p → (m V n)
a) Verdadero b) Falso
 4. Traduzca las siguientes oraciones a notación simbólica utilizando las
variables indicadas y asócielas a la formalización adecuada en la tabla
inferior:

1 Llueve y hace sol

2 Llueve y no hace sol Observaciones:

3 Llueve o hace sol Simbolizamos la proposición atómica

“Llueve” con la variable p, y la
4 Si no llueve, hace sol
proposición “Hace sol”, con la

5 No es cierto que llueva variable q

6 No es cierto que no llueva

7 Hará sol si y sólo si no llueve

¿Cuál es la formalización adecuada?

p’ pVq pɅq p Ʌq’ p’’ p’ → q q ↔ p’

5. Considerando las proposiciones:

a: La información es correcta.
b: Existe un incremento en los costos de producción.
c: El analista tiene un error de apreciación.
Traduzca al lenguaje formal la proposición: La información es incorrecta, sólo
si existe un incremento en los costos de producción o el analista tiene un error
de apreciación.
6. Determine el valor de verdad de las siguientes proposiciones:

a) Quito es capital de Argentina o Buenos Aires es capital de Ecuador.

b) 5 es menor que 10 y 8 no es un número primo.
c) [9 − 16 = (3 − 4)(3 + 4)] ∨ [(−5)(−2) > 0]

7. Indique cuál de las siguientes proposiciones es falsa:

a. Si 2(3 + 5) = 16 entonces 5(6 + 1) = 35.

b. b) Si (4 + 5) = 20 entonces (6 + 7) = 12.

c. c) Si (9 + 5) = 14 entonces (6 + 5) = 11.

d. d) Si 9(4 + 2) = 54 entonces 9(4 + 1) = 14.

e. e) Si 3(4 + 5) = 28 entonces 7(6 + 5) = 37.

8. Traduce los siguientes conectivos proposicionales haciendo uso de este

vocabulario:

T = la temperatura sube
P = ha llovido
C = el cerezo florece

1. (T ∧ P) → C

2. (T → P) ↔ (T’ ∨ P)

3. (C → P)’
 4. T’ ∨ (C → P)

5. T ↔ C’

6. C → (P ∧ T’)

9. Indica el operador lógico presente en cada proposición con su respectivo

símbolo

1. Sen(30º) no es un número mayor que 1 ___________________

2. El 2 es número primo y par _______________________

3. Me voy al cine si y sólo si tengo dinero _________________

4. El 14 es un número impar o es factor del 42. ________________

5. Si apruebo la nivelación, entonces me voy de vacaciones.

___________________

6. Este viernes o viajo a Galápagos o a EE.UU. _________________

10. Señale si cada enunciado es una proposición con P y si no lo es con F:

a. 7415 es un número par. ____

b. ¿Qué hora es? ____

c. Los números divisibles para 8 son divisibles para 2. _____

d. ¡Pare, por favor! _____

e. El atardecer en la playa es romántico. ____

f. Guayaquil es la capital económica de Ecuador. ____

 g. Galápagos es considerado Patrimonio Cultural de la Humanidad. _____

11. Llene la siguiente tabla que muestra los diferentes conectivos de la lógica
proposicional con su respectivo nombre y notación, con los símbolos y lectura
correcta.

NOMBRE SÍMBOLO NOTACÍÓN LECTURA

CONJUNCIÓN Ʌ pɅq p y q

DISYUNCIÓN V pVq p o q

DISYUNCIÓN V pVq p o q , pero no ambas

EXCLUSIVA
IMPLICACIÓN p implica q

CONDICIONAL
→ p→q Si p entonces q
DOBLE q
IMPLICACIÓN p si y sólo si q
EQUIVALENCIA ↔ p ↔q
p es equivalente a q
BICONDICIONAL
NEGACIÓN 𝑝′ No p; es falso que p

12. Formaliza las siguientes frases al lenguaje simbólico:

a. Andrea estudia biología o química.

b. Sólo si el concierto es público, el solista toca bien.

c. Ni Napoleón, ni De Gaulle eran ingleses.

d. Ana y Bruno se casaron el 14 de julio, aunque no son franceses.

g. Si los bomberos llegan a tiempo, entonces el viejo edificio se salvará.

h. Paga los impuestos anticipadamente si y sólo si lo multan.

13. Escribe en forma simbólica las siguientes proposiciones compuestas:

 a. La materia es teórica o práctica o ambas a la vez.

b. Se le enviara el diploma por correo hoy o mañana.

c. Carlos va directamente en colectivo o en bicicleta a su trabajo.

d. El gobierno busca consenso o no asistirá al Congreso.

e. El afiliado puede optar por el IOSEP o por PAMI, pero no ambos.

14. A y B son verdaderas, X, Y, y Z falsas. Determina los valores de verdad.

14.1. (A ∧ Z) ∧ (¬ Y ∧ B)’

14.2. A ∧ B ∧ (Y ∧ Z’)’

14.3. [A ∧ (B ∧ (Y ∧ (Z ∧ ‘A)’))’]’

14.4. (A ∧ B) ∨ X’
15. Cuáles de las siguientes proposiciones son verdaderas y cuáles falsas:

a) Л es un número racional o entero ( )

b) 22 = −4 ó 32 = −9 ( )
c) 2 es primo o es par ( )
d) 2 es divisible por 2 o es impar ( )
e) Los parques sirven para divertirse o para pasear ( )
f) 2 es entero o natural ( )
descansar

16. Construya la tabla de verdad indicando si es una contradicción, una

tautología o contingencia.

a) (p → q ∧ r) ↔ (q’ v r)’ v r’
p q r q’ r’ (p → q ∧ r) ↔ (q’ v r)’ v r’

1 1 1 0 0

1 1 0 0 1

1 0 1 1 0

0 1 1 0 0

1 0 0 1 1

0 1 0 0 1

0 0 1 1 0

0 0 0 1 1

2 1 4 1 2 3

b) (q’ ∧ r) → (q’ v r)’ v r’

c) (p → q) ∧ r → (p v r)’ v r’
d) (p → q) ∧ (q → r) → (p ∧ r’)
e) [ (p v q’) → (p → q)] → [(p’ → q) v p’] v p’
f) LEYES NOTABLES EN LÓGICA
Las leyes de lógica más notables son las que se enlistan a continuación:
1.- Ley de doble negación
p''p

2.- Leyes de idempotencia

(pp)p
(pp)p
3.- Leyes asociativas
[(pq)r][p(qr)]
[(pq)r][p(qr)]
4.- Leyes conmutativas
(pq) (qp)
(pq) (qp)
(pq)(qp)
5.- Leyes distributivas
[p(qr)][(pq)(pr)]
[p(qr)][(pq)(pr)]
6.- Leyes de De Morgan
(pq)' (p'q')
(pq)' (p'q')

Demuestre mediante tabla de verdad la siguientes leyes:

1.- Ley de doble negación

P’'≡p
p P’ P’’
1 0 1
0 1 0

2.- Leyes de idempotencia

(pp)p
p p pp
1 1 1
0 0 0

(pp)p
p p pp
1 1 1
0 0 0

3.- Leyes asociativas

[(pq)r][p(qr)]

p q r (pq)r p(qr)
1 1 1 1 1 1 1
1 1 0 1 1 1 1
1 0 1 1 1 1 1
0 1 1 1 1 1 1
1 0 0 1 1 1 0
0 1 0 1 1 1 1
0 0 1 0 1 1 1
0 0 0 0 0 0 0

[(pq)r][p(qr)]

4.- Leyes conmutativas

(pq) (qp)
(pq) (qp)
(pq)(qp)
5.- Leyes distributivas
[p(qr)][(pq)(pr)]
[p(qr)][(pq)(pr)]
6.- Leyes de De Morgan
(pq)' (p'q')
(pq)' (p'q')