1

“AÑO DEL DIALOGO Y RECONCILIACIÒN

NACIONAL”

(PRODUCTO DE LA UNIDAD 1)
Alumna: Lucero Huari Palomino
DOCENTE: Carlos B. Soriano Tupiño
AREA: Matemática
ESPECIALIDAD: Computación E
Informática
CICLO:1

AÑO: 2018

2
 Agradecimiento

Agradecemos a Dios por dejarnos participar en este maravilloso proyecto y,

dejarnos vivir esta experiencia, también agradecemos al Instituto Pedagógico
San Josemaría Escrivá por brindarnos su casa de estudios y poder así
desenvolvernos en nuestra carrera profesional, agradecemos a nuestros
profesores por darnos su apoyo tanto dentro y fuera del Instituto, y por ultimo
a nuestros padres que son nuestras inspiraciones para superarnos día a día,
gracias a todos.

3
Dedicatoria

Dedico a adiós y a mis padres

aliento para poder culminar,
con mi madre por confiar en
mí y el deseo de superación y
amor que me brindan día a
día y el apoyo incondicional y
desinteresado para forjarme
un mañana mejor y finalmente
culminar mi carrera con éxito.
4
 Índice

1._Logica Proposicional
1.1. _ lógica proposicional Practica Dirigida
2._Simbolizacion O Formalización De Proposiciones
2.2. _ simbolización o formalización de proposiciones
Practica Dirigida
2.3. _practica domiciliaria
2.4. _ practica dirigida Inferencias lógicas
3._ Inferencia Lógica Ll
3.1. _practica dirigida inferencias lógicas
3.2_practica inferencias lógicas II
4._Resumen De Las Leyes
4.1_Ejercicios De Inferencia

5
 PRACTICA DIRIGIDA
I. 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
II. 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) p v q
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
III. 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 todo los ejercicios de
este libro o tu calificación en el examen final es de sobresaliente.
r↔qvp
IV. Determinar el valor de verdad de las siguientes proposiciones:

6
 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
V. Establecer la tautología, la contradicción o contingencia de la siguiente proposición:
a) ~ (p ^ q ) ↔ (~p v ~q )

p q ~(p^q) ↔ (~pv~q)

V V F V V F F F
V F V F V F V V
F V V F V V V V
F F V F V V V F

P Q (p^q) ^ ~(pvq) b) (p ^ q) ^ ~ (p v q)
V V V F F V
V F F F F V
F V F F F V
F F F F V F

c) ~[p v (~p v ~q) ]

P Q ~[p V ( ~p v ~q ) ]
V V F V V F F F
V F F V V F V V
F V V F F V V F
F F F V V V V F

P q (p→q → [ ( p v ~q ) → (p^q)]
) d) (p → q) → [ (p v ~q) → (p ^ q)]
V V V V V V F V V
V F F V V V V F F
F V V V F F F V F
F F V F F V V F F

p q r [ ~p ^ ( q v r ) ] ↔ [(pvr) ^ q]
V V V F F V F V V V
V V F F F V F V V V
e) [~p ^ (q v r)] ↔ [ (p v r) ^ q ] V F V F F V V V F F
V F F F F F V V F F
F V V V V V V V V V
F V F V V V F F F V
F F V V V V F V F F
F F F V F F V F F F

7
 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

8
 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

9
 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

10
 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
11
 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)

12
 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
13
 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

14
 1: p → ~q

2: q → r

3: q → ~q

C: ~p v r

Ejercicios de t

1: s->r
inferencia lógica
2: s ˅ t

3: ¬t
1._ q-> r
4: ~s (1:3) TT
t -> ~r
5: T (2:4) (TP)
q
4._ r <-> t
¬t
¬t
1: (p Ʌ q) -> r
rvs
2: ¬ (p ˅ r) ->s
s
3: P->q
1: r <-> t
4: ¬s->r
2: ¬ t
2._ qɅr
3: r v s
-T →-r
T 4: r (1:2) IE

1: q Ʌ r 5: s (3:4)

2: - T → - r 5._ ¬ (¬t v ¬q)

3: r → r (IR) ¬s->¬q

4: r (1) simplificación t^s

5: t (3:4) PP 1: ¬ (¬t v ¬q)

3._ s->r 2: ¬s->¬q

s˅t 3:t^q (1) morga

¬t 4: q (3) simplificación
15
 5: s (2:4) TT svq
6:t (3) conclusión (q v p)-> r
7: t ^ s (6:5) simplificación r
conjuntiva
1:p ^ ¬t
6._ p->r
2: s-> p
r->q
3:s v q
p
4:(q v p)-> r
qvs
5: q-> (6) simplificación
1: p->r
6: p-> r (6) simplificación
2: r->q
7: p (1) simplificación
3: p
8: r (6:7) PP.
4:r(1:3) PP. 9._ (p ^ q) -> r
5: q(2:4)PP. p

6: q v s (5) adicional q -> r

7._ s v t 1:(p ^ q) -> r

s->p 2: p
t -> ¬ q 3: [p->(q->r)] (1) ley de exportación
q 4:(q->r) (3:2) PP.
p 10._ p-> q

1: s v t rvs

2: s->p s -> ¬q

3:t -> ¬ q ¬r

4: q ¬p

5: ~t (3:4) TT 1: p-> q

6: s (1:5) TP 2: r v s

7: p (2:6) PP 3: s -> ¬q
8._ p ^ ¬t 4: ¬r
s-> p 5: s (2:4) TP
16
 6: ~q (3:5) PP. 14._ (p v q)-> r
7: ~p (1:6) TT ¬ (p v r)-> s
11._ r->s p->q
pvq ¬s -> r
¬(¬p->s) 1: (p v q)-> r
q^¬r 2: ¬ (p v r)-> s
3: p->q
12._ p-> (q-> r) 4: q->r (1) simplificación
q 5: p->r (3:4) silogismo hipotético
1: p ->(q-> r) 6: ~p^~r)->s (2) Morgan
2: q 15._ p<-> q
qvs
3: [(p^q)->r ] (1) ley de p->¬ t
exportación
t
4: q->r (3:2) PP
s
5: s (2:4) TP
1: p<-> q
6: ~q (3:5) PP
2: q v s
7: ~p (4:6) TT
3: p->¬ t
13._ p <-> (q v r)
4:t
p->s
5:~p(3:4) tt
q
6:~q(1:5) IE
s
7:5(2:6) TP
1: p <-> (q v r)
16._ p->(q-> r)
2: p->s
q->(p->r)
3: q
1: p->(q-> r)
4:q v r (3) adicción
2:(p v q) ->6] (1) E
5: p (1:4) (IE)
3: [(q ^p) ->r]2 contractiva
6:s(2:5)PP.
4: q->(p->r) (3) LE
17