LABORATORIO DE RAZONAMIET\¡TO LÓGICO.M*TEN¡ÁTICO.

HOJA rurO. 4
cÁLC$r§ *ÁFrDo.
¡-óe¡cn pRopostctoNAl

Decir si las siguientes oraciones son pROpOStCtOruff

1-.Qué estudias en la universidad?
3. Alcánzame la toalla
5. 2x+3=11"
7. Lima es ia capitai cje perú
9. Prohibido fumar
2. César Vallejo nació en parís
4.3+4 < 5+L
6.2+3 < 10-3
8. Tocios ios hombres son mortaies

FuncionesVeritativas;Sonunarelacióndepro
proposiciones componentes:
A. La conjunción: B. La dÍsyunción ínclusiva C. La disyunción exclusiva
pq py q

F
VF V VF V
FV V FV V
FF F FF F

D. La condicional: E. La bicondicional F. La negación:

P q lP+ q p q lp€)q , -o
vll-
------l------ |
----t------------
v
V FIF
r vlv
v V VI V
v rl F
yt;
F Vi F
F FI
!

F FIY v

Dadas las siguientes proposiciones compuestas, decir cuál puede

ser la proposición p y cuál podría ser la
proposición q, y cuál es la función veritativa que está
entre p y q:

14. Newton es inglés y Einstein es alemán.

15.E| presidente de la SUNAT habla inglés
L6. Hugo viajará a Lima en avión o en bus.
17. si orlando es médico, entonces trabaja en er hospitar
Goyeneche
1"8' Jenny irá becada a Francia si y solo si gana el
concurso de Matemática
19. Sócrates no es egipcio
20. Carlos es político pero honesto
21. María está enferma, sin embargo asiste a clases
22. Los alumncs van alclub o a la playa
23. si María salió descontenta der cine, entonces ra perícura
fue mara
24. Es un conocimiento científico sí se conoce eÍob.¡eto
25. Pedro construirá su casa si y soro si obtiene ayuda der
banco
26. No es el caso que pepe estudia y trabaja
27' lnvéntate una proposición compuesta que sea conjuntiva, y
otra que sea disyuntiva inclusiva
28' Invéntate una proposición compuesta que sea disyuntiva
exclusiva, y otra que sea condicional.
2-o. Invintatc -i,'; p:'oposiclán ccmpi,,csta qi.¡3
se= biccn*lcion=r.
{30. Háblame de Newton y también de Einstein)
(31. Qué es la SUNAT?)
(32. Hábfame de Sócrates
 LABORATORIO DE RAZONAMIENTO LÓGICO-MATEMÁTIC0 Ho¡a lr¡ro: 2,
cÁlcuLo RÁploo
roercn PRoPosrcroNAt
01. Suponga que p y q son verdaderas. Encuentre elvalor de verdad de {-pAq} v-q es.....

02. Si se sabe que p es verdadera, q es falsa y r es verdadera. Encuentre el valor de verdad de

{*p nr) v (-q n-p)
03. Si p representa una proposición falsa y q una proposición verdadera. Encuentre el valor de verdad
de las proposiciones mostradas a continuación:
3a.-? 3b.-q 3c.p v q 3d.p x q 3e.pv *q 3f .-pnq 39.*pv -q
3h.pA -q 3i.*{p A -q) 3i.-(-pv-q) sk. -l(-pa-q)v*q1

04 .Sea que p representa una proposición verdadera, q y r representan proposiciones falsas. Encuentre
el valor de verdad de las proposiciones compuestas dadas a continuación:
4a.{pAr}v-n 4b. (q v-r )A p 4c.pA(qvr)
4d.(-pAq)v-r 4e.-{pAq}^{rv-q } 4t.(*rA-s)v(-rAq)
*l(-pns)vr) 4h. *[r v (-q n -

Tabla de valores: Hallar la tabla de valores de un esquema motecular es obtener los valores del operador
Principal a partir de los valores de verdad y.falsedad de cada una de las variables proposicionales. El
número de valores que se asigna a cada variable resulta de aplicarse la fórmula 2n, donde 2 es Ia
constante y n es el número de variables gue hav en el argumento molecular.

Construir la tabla de valores de los siguientes esguemas:

5.{p v q) + q G. [(p =+ *q) n {r u *p))v (-r + g)
z.{(pv *e)¡,- lrr-(qnp)l + lq +(rvpl}
= rl <+ lr n
8. l(-p s) *(n v
^

[a equivalencia: Dos proposiciones representadas por esquemas moleculares, son equivalentes

cuando unidas bicondicionalmente, los valores de Ia bicondicional son todos verdaderos.

Sean los esquemas A y B que representan dos proposiciones, determinar si son equivalentes:
9. [=pv-{, B=-? = -q L0. A= Einstein dice la verdad, entonces la Teoría de la
exacta, B= No es el caso que
Relatividad es la Teoría de Ia Relatividad no es exacta y Einstein dice
la verdad. L1. A= 5i Jacinto es español, entonces es aficionado a los toros, B= Jacinto no es
ñol, si no es aficionado a los toros. 12.A=pA- B= *{n +
La implicación: Una proposición A implica a otra B, cuando condicionalmente unidas, A como
antecedente y B como consecuente, el resultado es una TAUTOLGGíA; lo que significa que todo
esquema molecular condicional tautológico es implicativo.

Sean los esquemas A y B que representan dos proposiciones. Determinar si A implica a B.

i3.A=FÁq, B=pvq; *
14. A= pv q, B= -{ * *p; i5. A= *p-yq,
§= -p v q

Determinar sicada uno de los siguientes esquemas moleculares que aparecen a continuación están
implicados por el esquema K= -(p r+ -q),
a={pv-q)1 *r, B=-pAQ?-r C=(pA *q)+(ry.-p)

_1
 LABoRATORI0 DE RAzoNAMIEtsro róe¡co runrmvlÁtCo. xoia Nro.3
cÁlcur-o nÁp¡oo
lóercn PRoPosrcroNAL

PRINCIP¡OS LOGICOS. Los principios lógicos son tautologías. Una tautología es una verdad
légica en virtud de su sala farma lógica; c sea, una forma proposicional es un principio lógico
si y solo si cualquiera que sea la interpretacién formalmente correcta que se haga de la
misma, se sbtiene como resultado una proposicién verdadera.

Los principios lógicos conocidos en la lógica tradicional son:

L. El principio de identidad: formalmente p+p y p*+f
2. El principio del tercio excluido: e v - F, donde una proposición, o es verdadera o es falsa y
no hay tercera posibilidad.
3. El principio de no contradicción: - {p
^
- p) no es el caso que una proposición sea
verdadera y falsa a la vez.

EQU IVATENCIAS NOTABLES.

4. Principio de tautología:4.1.: (p A p) <+ p , 4.2: lp v p) c+ p
5. Principio de doble negación: - - p é p
"No se da el caso que, no todos los hombres son racionales" equivale a 'Todos los hombres
son racionales"
"Es falso que Descartes no sea francés" equivale a "Descartes es francés"
5. Principio de conmutación: 6.1: {p q} <+ {q A p) 6.2: lp v q} <+ (q v p}
^ negro" equivale a " el plumón es negro y la pizarra es
"La pizarra es blanca y el plumén es
blanca"
"o estas preocupado o estas enfermo" equivale a "o estas enfermo o estas preocupado"
Cuidado con el uso dely, veamos el siguiente ejemplo:" Carlos tomó arsénico y rnurio", el
resultado no es el mismo si permutamos las proposiciones.
7. PrincipiodeAsociación: 7.1: pA{qAr} <+ (pAq)Ar
. 7.2: pv{qvr) (+ (pvq}vr
8.Prir:cipicsdedistribución: 8.1: pA{qvri ++ (pAq} v (pAr}
8.2: pv {qAr} e {pvq} ¡1 {pvr}
9.TeoremadeDeMorgan: 9.1: tp^q) €, -{-pv*q)
9.2: (pvq) <+ -(-p^*q)
9.3; -(pnq) <+ {*pu-q)
9.4: *{puq) (+ (*pn-q)
l0.Definicionesdelcondicional: 10.1: (p ++ (- p"fuq) ?
=q)
7A'Z: {P =} q) <+ - {P ¡ - q)
11. Definiciones del bicondicional: 11.1: (p e q ) €) [( p + q)n (q + p)]
11.2: (p§ q) (+ [(pnq) v {-p^-q)]

IMPIJCACIOHES HCTABLE§: Llamadas también inferencias rstables que cansisten en

pasar de fórmulas llamadas premisas a ctra fórmula que se denomina conclusión o
consecuencia lógica. Son las siguientes:
12. Modus Ponendo Ponens: 13. Modus Tollendo Tollens
p+ q p=+q
p -q
;.q ;. -p
14,Silogismodisyuntivo:14.1; pvq 14.2;pvq
*p -q
.'. q ;.p
 TABOrIATORIO DE RAZONAMIENTO LOGICO MATEMÁT|Co Hoja Nro:4
CALCULO RAPIDO
Lóc¡cA PRoPosrc¡oNAr

1. Dime un ejemplo donde se aplique un principio lógico, o equivalencia notable o implicación notable
desde el 1 al 14 de la hoja anterior.

2.¿Qué principio lógico, o equivalencia notable o implicación notable se ha aplicado en los siguientes
enunciados:
2.1.Soy chileno o peruano equivale a decir soy peruano o chileno
2.2. Los sab¡os dicen la verdad; sin embargo, o tienen problemas con la sociedad o la religión los condena
2.3. "Nieva y hace frio" equivale a " No es el caso que no nieva o no hace frio"
2.4. "No es el caso que viajes al sur o te quedes en la Capital" equivale a "No viajes al sur ni te quedes en
Ia capital"
2.5. "Si Kant es filósofo entonces es idealista" equivale a "O Kant no es filósofo o es idealista"
2.6." A Jorge no es diplomático
' o habla dos idiornas'i equivale a "siJorge es diplomático entonces habla
dosidiomas" P
2.7. "Una figura geométrica tiene tres ángulos si y solo si es un triángulo", equivale a "Si una figura
geométrica tiene tres ángulos entonces es un triángulo, y si es un triángulo entonces es una figura
geométrica"
2.8. "Un número es positivo si y solo si es mayor que cero" equivale a "O un número es positivo y es
mayor que cero, o un número no es positivo y no es mayor que cero"
2.9. Si llueve entonces las pistas están mojadas. Llueve. Por lo tanto las pistas están mojadas.
2.10. Si ganas el concurso de Literatura entonces viajarás a París. Pero no viajaste a París. Luego no
ganaste el concurso de literatura.
2.11. En sus vacaciones Jorge viajará al sur o viajará al norte. Pero Jorge no viajará al sur. De modo que
Jorge viajará al norte.
2.12. A eres alumno agustino o no lo eres
2.13. Es falso que José María sea varén y sea mujer
2.L4. "A hace calor o sofoca" equivale a "no es el caso que no hace calor y no sofoca"
2.L5. "no es el caso que estudias y trabajas" equivale a " O no estudias o no trabajas"

3. Determinar el equivalente de cada uno de los siguientes esquemas y proposiciones por el principio de
conmutación:
3.1.p4-p 3.2. -pv*q 3.3.*pAq 3.4.-?h*q
3.5. Algunos ingenieros no tienen título pero ganan mucho dinero.
3.5. Algunos perros son finos pero caros. 3.7. Yola es secretaria o no es guía de turismo

4. Determinar Ia múltiples posibilidades de equivalencia por asociatividad en cada uno de los siguientes
esquemas moleculares:
4.1.(pÁqlA-r 4.2.-pv(qv-r)
5. Por distribución determinar el equivalente de cada uno de los esquemas moleculares y proposiciones
siguientes:
5.L.-p n{qv -r ) 5.2.pv( - q 5.3. pv {*q ¡rr) 5.4.(*p n q) v -r
^r)
5.5. O los políticos mienten, o los filósofos dicen la verdad pero son idealistas
5.5. O Coco es político pero honesto, o tendrá problemas con el gobierno a pesar que no es profesional
5.7" Los axiomas son verdades evidentes o necesitan demostración, pero carecen de sentido en la
realidad.
6. Por De Morgan determinar el equivalente de cada uno de los siguientes esquemes y proposiciones que
aparecen a continuación:
6.1.p4-q 6.2.-p^q 5.3.pv-q 6.4- -(p"q) 6.s.(pvqlAr
6.6. lremos al club o a la playa 6.7. O ganan los fujimoristas o ganan los apristas
7. Encontrar el equivalente de cada uno de los siguientes esquemas y proposiciones, aplicando las dos
Definiciones del condicional: 7.3,. p + -q 7.2. -p + - q 7.3. Si Cristina no está en su casa,
entonces ha ido a Ia Universidad.