Instituto superior pedagogico Josemaría

escriba

(Producto final)

Nombre: Joel Garzon Cconas

Siglo:1
Profesor:
Área: matematica
Carera: computacion e informatica
Áno: 2018
 PRACTICA DIRIGIDA

Determine cuáles de las siguientes expresiones, son enunciados o proposiciones lógicas,

justificando su respuesta.
a) ¡me gusta el color blanco! Enunciado
b) 4x – 2 < 7 Enunciado abierto
c) El número 333 es divisible por 3 Proposición (verdadera)
d) X + 3 es un entero positivo Enunciado abierto
e) Quince es un numero par Proposición (falso)
f) ¿Qué hora es? Enunciado
I. Sean p y q las proposiciones siguientes:
p: hace frio
q: llueve
Expresa cada una de las siguientes proposiciones como una frase:

a) p^q Hace frio y llueve

b) pvq Hace frio o llueve
c) q v ~p Llueve o no hace frio
d) ~p ^ ~q No hace frio y no llueve
e) ~~q Llueve
f) p→q Hace frio entonces llueve
g) ~p → ~q No hace frio entonces no llueve

II. Sean p, q y r las proposiciones siguientes:

p: has obtenido un sobresaliente en el examen final
q: has hecho todos los ejercicios de este libro
r: has obtenido un sobresaliente en esta asignatura
Escribe las siguientes proposiciones utilizando p,q y r y los conectivos lógicos:
a) Has obtenido un sobresaliente en esta asignatura, pero no has hecho todos los ejercicios en este libro.
r ^ ~q
b) Has hecho todos los ejercicios de este libro, has obtenido un sobresaliente en esta asignatura y también en el examen final.
q^r ^p
c) Para obtener un sobresaliente en esta asignatura, es necesario obtener un sobresaliente en el examen final.
r→p
d) Conseguir un sobresaliente en el examen final y realizar todos los ejercicios de este libro es suficiente para obtener un
sobresaliente en esta asignatura.
p^q→r
e) Puedes conseguir un sobresaliente en esta asignatura si, y solo si, haces todos los ejercicios de este libro o tu calificación en
el examen final es de sobresaliente.
r↔qvp
III. Determinar el valor de verdad de las siguientes proposiciones:
a) Si 5 + 4 = 11, entonces 6 + 6 = 12
F→v=v
b) No es verdad que 3 + 3 = 7 si y solo si 5 + 5 = 12
~(f↔f)
~(v)
f
c) Lima está en chile o la paz está en ecuador.
fvf=f
d) No es verdad que 2 + 2 = 5 o que 3 + 1 = 4
~(fvV)
~(v)
F
e) O lima es la ciudad de los virreyes o Trujillo la ciudad del huayno.
vΔf=v
IV. Establecer la tautología, la contradicción o contingencia de la siguiente proposición:
a) (p ^ ~ (p ^ q ) ↔ (~p v ~q )
b) q) ^ ~ (p v q)
 PRACTICA DIRIGIDA N° 02

1) Para describir los diversos restaurantes de la ciudad, denotemos con p “la comida es buena”; con q “el servicio es bueno” y
con r “es de tres estrellas”. Escribir simbólicamente las siguientes proposiciones:
a) La comida es buena o el servicio es bueno, o ambas cosas.
P v Q (disyunción incluyente)
b) La comida es buena o el servicio es bueno, pero no ambas cosas.
P v Q o P Δ Q (disyunción excluyente)

c) La comida es buena y el servicio no.

p ~q (conjunción)

d) No sucede que tanto la comida sea buena como que el restaurante sea de tres estrellas.

~ ( p ^ r ) (conjunción)

e) Si tanto la comida como el servicio son buenos, entonces el restaurante es de tres estrellas.

(p^q)→r

f) No es cierto que ser de tres estrellas siempre signifique buena comida y buen servicio.

~[r→(p^q)]

2) Denotemos con p “el clima es agradable” y con q “vamos de día de campo”. Traducir las siguientes proposiciones al
lenguaje coloquial y, si es posible, simplificar:
a) p ^ q
El clima es agradable y vamos de día de campo
b) p ↔ q
El clima es agradable si y solo si vamos de día de campo
c) q → p
Si vamos de día de campo entonces el clima es agradable
 PRACTICA DOMICILIARIA
I. Traducir a forma simbólica los enunciados compuestos del lenguaje natural:
a. “Si llueve se terminarán los problemas de sequía y no hará falta más dinero”
p → q ^ ~r
b. “Un partido de futbol no se gana a menos que se corra mucho y se tenga calidad”
p→q^r
c. Para que llueva o nieve es necesario que se den las condiciones climáticas adecuadas”
pvq→r
II. Denotemos con p “el material es interesante”; con q “los ejercicios son difíciles” y con r “el curso
es agradable”. Escribir las siguientes afirmaciones en forma simbólica:
a) El material es interesante y los ejercicios son difíciles.
p^q
b) El material no es interesante, los ejercicios no son difíciles y el curso no es agradable.
~p ^ ~q ^ ~r
c) Si el material no es interesante y los ejercicios no son difíciles entonces el curso no es agradable.
~p ^ ~q → ~r
d) Que el material sea interesante significa que los ejercicios son difíciles y viceversa.
p→q
q→p
p↔q
e) O el material es interesante o los ejercicios no son difíciles, pero no ambas cosas.
p Δ ~q
III. Escribir las siguientes afirmaciones en forma simbólica:
a) El sol brilla y la humedad no es alta.
p ^ ~q
b) Si termino mi tarea antes de la cena y no llueve, entonces iré al partido de futbol.
(p ^ ~q) → r
c) Si no me ves mañana significa que habré ido a la playa.
~p → q
d) Si el costo de las utilidades crece o se niega la requisición de fondos los adicionales, entonces compraremos
una nueva computadora si y solo si podemos mostrar que los recursos de computo son, en efecto,
insuficientes.
[ (p v ~q) → r] ↔ s
 PRACTICA DIRIGIDA N° 03

A. ¿Qué conclusión se puede sacar de cada uno de los siguientes conjuntos de premisas? Es decir, ¿Qué
proposición lógica se sigue de las premisas?
1. Si usted está en Madrid, entonces su reloj señala la misma hora que en Barcelona. Usted está en
Madrid.
P1: Si usted está en Madrid
P2: Usted está en Madrid
C: Su reloj señala la misma hora que en Barcelona
2. Si no nos despedimos ahora, entonces no cumpliremos nuestro plan. No nos despedimos ahora.
P1: Si no nos despedimos ahora, entonces no cumpliremos nuestro plan.
3. Si esta planta no crece, entonces o necesita más agua o necesita mejor abono. Esta planta no crece.
P1: Si esta planta no crece
P2: Esta planta no crece
P3: Necesita más agua o necesita mejor abono
4. Son las cinco. Si son las cinco, entonces la oficina está cerrada.
P1: Son las cinco
P2: La oficina está cerrada
C: Si son las cinco
5. Si vivo en la capital de los Estados Unidos, entonces no vivo en ninguno de los cincuenta estados. Vivo
en la capital de los Estados Unidos.
P1: Vivo en la capital de los Estados Unidos
P2: Vivo en la capital de los Estados Unidos
C: No vivo en ninguno de los cincuenta estados
B. Utilizando modus ponendo ponens sacar una conclusión de cada uno de los conjuntos de premisas
siguientes. Escribir las conclusiones en la línea (3).
1. (1) P V Q → R
(2) P V Q
(3) R
2. (1) ~P → ~R
(2) ~P
(3) ~R

3. (1) ~P
(2) ~P → Q
(3) Q
4. (1) P → Q & R
(2) P
(3) Q & R
5. (1) P → Q V R
(2) P
(3) Q V R
6. (1) ~R
(2) ~R → Q & P
(3) Q & P
C. Poner una «C» junto a cada ejemplo en el que la conclusión es correcta según el modus ponendo ponens.
Poner una «I» junto a cada conclusión incorrecto.
1. Premisas: S y S → T; conclusión: T CORRECTA
2. Premisas: T → V y T; conclusión: V CORRECTA
3. Premisas: P → Q y Q; conclusión: P CORRECTA
4. Premisas: S y R → S; conclusión: R CORRECTA
5. Premisas: R y R → S; conclusión: S CORRECTA
 PRÁCTICA DIRIGIDA

INFERENCIAS LÓGICAS

Esquematizar las siguientes proposiciones en proposiciones. Validar si mediante la inferencia lógica.

1. Si Messi es argentino entonces es aficionado al futbol. Pero, Messi no es aficionado al futbol. Por lo tanto, no es
argentino.

Proposiciones

P: Messi es argentino
Q: Messi es aficionado al futbol

Premisas

P1: Si Messi es argentino entonces es aficionado al futbol

p→q
P2: Messi no es aficionado al futbol
~q
P3: Messi no es argentino
~p
2. Como es hora de clases, se concluye que en el aula hay profesores y alumnos, dado que, si es hora de clases; en el
aula hay profesores, y hay alumnos si en el aula hay profesores.

Proposiciones

P: Es hora de clases

Q: En el aula hay profesores

R: En el aula hay alumnos

Premisas

P1: Es hora de clases

P
P2: Si es hora de clases; en el aula hay profesores
p→q
P3: Hay alumnos si en el aula hay profesores
Si en el aula hay profesores entonces hay alumnos
q→r
C: En el aula hay profesores y alumnos
q^r
3. “Si Juan participa en un comité electoral de la universidad entonces los estudiantes se enojarán de él, y si no
participa en un comité electoral de la universidad entonces las autoridades universitarias se enojarán con él. Pero,
juan participara en un comité electoral de la universidad o no participara. Por lo tanto, los estudiantes o las
autoridades universitarias se enojarán con él”.
Proposiciones

P: Juan participa en un comité electoral de la universidad

Q: Los estudiantes se enojarán con él
R: Las autoridades universitarias se enojarán con él

Premisas

P1: Si Juan participa en un comité electoral de la universidad entonces los estudiantes se enojarán de él
p→q
P2: Si no participa en un comité electoral de la universidad entonces las autoridades universitarias se enojarán
con él
~p → r
P3: Juan participara en un comité electoral de la universidad o no participara
p v ~p
 C: Los estudiantes o las autoridades universitarias se enojarán con él
qvr
4. “Si Víctor decía la verdad, entonces Sócrates corrompía a la juventud y si el tribunal lo condeno equivocadamente,
entonces Víctor no es culpable. Pero, Sócrates no corrompía a la juventud o Víctor es el culpable. Por lo tanto,
Víctor no decía la verdad o el tribunal no condeno a Sócrates equivocadamente”.

Proposiciones

P: Víctor decía la verdad

Q: Sócrates corrompía a la juventud
R: El tribunal condeno equivocadamente a Sócrates
S: Víctor es el culpable
C: Víctor no decía la verdad o el tribunal no condeno a Sócrates equivocadamente

Premisas
P1: Si Víctor decía la verdad, entonces Sócrates corrompía a la juventud
p→q
P2: Si el tribunal lo condeno equivocadamente, entonces Víctor no es culpable
r → ~s
P3: Sócrates no corrompía a la juventud o Víctor es el culpable
~q v s
P4: Por lo tanto, Víctor no decía la verdad o el tribunal no condeno a Sócrates equivocadamente (~p v ~r)
 PRACTICA N°04

1. Demostrar que: Pedro es mayor que juan.

Si José es mayor que Roberto, entonces pancho es menor que Carlos. Pero si pancho es menor que Carlos,
entonces Carmen no es mayor que Doris. Además Carmen es mayor que Doris. Sin embargo, Luis es amigo de
juan y al mismo tiempo pedro es mayor que juan o en todo caso José es mayor que Roberto.

Proposiciones

P: Pedro es mayor que juan

Q: José es mayor que Roberto
R: Pancho es menor que Carlos
S: Carmen es mayor que Doris
T: Luis es amigo de juan
Premisas
P1: Si José es mayor que Roberto, entonces pancho es menor que Carlos
q→r
P2: si pancho es menor que Carlos, entonces Carmen no es mayor que Doris
r → ~s
P3: Carmen es mayor que Doris
S
P4: Luis es amigo de juan y al mismo tiempo pedro es mayor que juan o en todo caso José es mayor que Roberto
t ^ (p v q)
1: q → r
2: r → ~s
3: s
4: t ^ (p v q)
5: ~r (2:3) TT
6: ~q (1:5) TT
7: (p v q) (4) S
8: p (6:7) SD
2. Demostrar que: José es tío de Juan o Pedro es primo de Raúl.

David es primo de José y María es tía de Luis. Si Raúl es tío de Doris, entonces Juan es hermano de pedro o María
es tía de Luis. Si juan es hermano de pedro quiere decir que José es tío de juan. Pero si María es tía de Luis,
entonces pedro es primo de Raúl. Además que si David es primo de José, entonces Raúl es tío de Doris.

Proposiciones

P: José es tío de juan

Q: Pedro es primo de Raúl.
R: David es primo de José
S: María es tía de Luis
T: Raúl es tío de Doris
U: Juan es hermano de pedro

Premisas

P1: David es primo de José y María es tía de Luis

r^s
P2: Raúl es tío de Doris, entonces Juan es hermano de pedro o María es tía de Luis
t → (u v s)
P3: Si juan es hermano de pedro quiere decir que José es tío de juan
u→p
P4: Pero si María es tía de Luis, entonces pedro es primo de Raúl
s→q
P5: Además que, si David es primo de José, entonces Raúl es tío de Doris
r→t
1: r ^ s
2: t → (u v s)
3: u → p
 4: s → q
5: r → t
6: s (1) S
7: q (4:6) PP
8: r (1) S
9: t (5:8) PP
10: (u v s) (2:9) PP
11: p v q (3:4:10) DC

3. Si en Huancavelica el firmamento esta nublado y hace frío, entonces no se llevara a cabo el concurso de natación.
Ocurre que en Huancavelica el firmamento esta nublado y hace frio. Luego…
Proposiciones

P: En Huancavelica el firmamento esta nublado

Q: En Huancavelica hace frío
R: Se llevará a cabo el concurso de natación
Premisas
P1: Si en Huancavelica el firmamento esta nublado y hace frío, entonces no se llevará a cabo el concurso de
natación
(p ^ q) → r
P2: Ocurre que en Huancavelica el firmamento esta nublado y hace frio

(p ^ q)
1: (p ^ q) → r
2: (p ^ q)

3: ~r (1:2) PP

4. La raíz cuadrada de un numero negativo no tiene solución en los números reales si todo conjunto no se contiene
a sí mismo, y si todo conjunto se contiene a si mismo entonces el concepto de conjunto es abstracto. Pero, todo
conjunto se contiene a sí mismo o no se contiene a sí mismo. En consecuencia…

Proposiciones

P: la raíz cuadrada de un número negativo no tiene solución en los INIR

Q: todo conjunto se contiene así mismo

R: el concepto de conjunto es abstracto

Premisas

P1: la raíz cuadrada de un numero negativo no tiene solución en los números INIR si todo conjunto no se contiene así
mismo ~p -> ~q

P2: si todo conjunto se contiene así mismo entonces el concepto de conjunto en abstracto
q -> r

P3: todo conjunto se contiene así mismo o no contiene así mismo

q v ~q

1: p → ~q

2: q → r

3: q → ~q

C: ~p v r
Ejercicios de Inferencia lógica 5._ ¬ (¬t v ¬q)

¬s->¬q

1._ q-> r t^s

t -> ~r 1: ¬ (¬t v ¬q)

q 2: ¬s->¬q

¬t 3:t^q (1) morga

4: q (3) simplificación
1: (p Ʌ q) -> r
5: s (2:4) TT
2: ¬ (p ˅ r) ->s
6:t (3) conclusión
3: P->q
7: t ^ s (6:5) simplificación conjuntiva
4: ¬s->r
6._ p->r

2._ qɅr r->q

-T →-r p
T
qvs
1: q Ʌ r 1: p->r

2: - T → - r 2: r->q

3: r → r (IR) 3: p

4: r (1) simplificación 4:r(1:3) PP.

5: t (3:4) PP
5: q(2:4)PP.
3._ s->r
6: q v s (5) adicional
s˅t
7._ s v t
¬t s->p

t t -> ¬ q

1: s->r q

p
2: s ˅ t
1: s v t
3: ¬t
2: s->p
4: ~s (1:3) TT
3:t -> ¬ q
5: T (2:4) (TP)
4: q

4._ r <-> t 5: ~t (3:4) TT

¬t 6: s (1:5) TP

rvs 7: p (2:6) PP

8._ p ^ ¬t
s
s-> p
1: r <-> t
svq
2: ¬ t
(q v p)-> r
3: r v s
r

4: r (1:2) IE 1:p ^ ¬t

5: s (3:4) 2: s-> p
 3:s v q 13._ p <-> (q v r)

4:(q v p)-> r p->s

5: q-> (6) simplificación q

6: p-> r (6) simplificación s

7: p (1) simplificación 1: p <-> (q v r)

8: r (6:7) PP. 2: p->s

9._ (p ^ q) -> r 3: q

p 4:q v r (3) adicción

q -> r 5: p (1:4) (IE)

1:(p ^ q) -> r 6:s(2:5)PP.

2: p 14._ (p v q)-> r

3: [p->(q->r)] (1) ley de exportación ¬ (p v r)-> s

4:(q->r) (3:2) PP. p->q

10._ p-> q ¬s -> r

rvs 1: (p v q)-> r

s -> ¬q 2: ¬ (p v r)-> s

¬r 3: p->q

¬p 4: q->r (1) simplificación

1: p-> q 5: p->r (3:4) silogismo hipotético

2: r v s 6: ~p^~r)->s (2) Morgan

3: s -> ¬q

4: ¬r 15._ p<-> q

5: s (2:4) TP qvs

6: ~q (3:5) PP. p->¬ t

7: ~p (1:6) TT t

11._ r->s s

pvq 1: p<-> q

¬(¬p->s) 2: q v s

q^¬r 3: p->¬ t

4:t

12._ p-> (q-> r) 5:~p(3:4) tt

q 6:~q(1:5) IE

1: p ->(q-> r) 7:5(2:6) TP

2: q

16._ p->(q-> r)

3: [(p^q)->r ] (1) ley de exportación q->(p->r)

4: q->r (3:2) PP 1: p->(q-> r)

5: s (2:4) TP 2:(p v q) ->6] (1) E

6: ~q (3:5) PP 3: [(q ^p) ->r]2 contractiva

7: ~p (4:6) TT 4: q->(p->r) (3) LE

GRACIAS