MATEMTICA

I. DEFINICIN: Es llamada tambin lgica de las o puede ser reemplazada por sus
proposiciones sin analizar, tiene por objeto de sinnimos: Como, pero, a la vez, adems,
estudio a las proposiciones y su formalizacin incluso, tambin, aunque, a pesar, sin
con la finalidad de determinar sus valores lgicos. embargo, ni, etc.
Ejm. - Nelly y Roger son mdicos
II. PROPOSICIN (ENUNCIADO): Se denomina as a - Ruby es lingista tambin literata
las expresiones lingsticas de las cuales se puede C. Disyuntivas.- Presentan como conectiva a
afirmar que son verdaderas o falsas. la "O", "u", "o ... o...", son de dos tipos:
CARACTERSTICAS Inclusiva o Dbil.- Cuando de las
* Toda proposisin es una oracin aseverativa, alternativas que se proponen se cumplen
pero no toda oracin es una proposicin. todas ellas, ya sea al mismo tiempo o de
* Toda proposicin o es verdadera (V) o falsa (F) manera alternada
(no puede ser ambas a la vez). Ejm: - Jennifer es cantante o abogada.
* Dentro del razonamiento, la proposicin puede - La mesa es un mueble o es de madera.
ser premisa o conclusin. Exclusiva o Fuerte.- Cuando de las
* La proposicin verdadera o falsa se puede alternativas que se proponen se cumple
afirmar o negar. slo una y se excluye la otra.
* Los enunciados matemticos tienen el rango de Ejm.: - Csar Vallejo muri en Lima o en
proposicin. Pars.
Ejm.: - O corremos o caminamos
- Los futbolistas son deportistas. (V) D. Condicional (Implicativa).- Presentan
- Todo africano es asitico. (F) como conectiva la palabra "Entonces" o
- La botnica estudia a las plantas. (V) sus equivalentes: luego, por lo tanto, en
conclusin, en consecuencia, de ah, etc.
III. CLASES DE PROPOSICIONES: Las proposiciones se Esta proposicin indica una relacin de
clasifican bsicamente en: simples y compuestas. causa-efecto, (antecedente - consecuente)
3.1 PROPOSICIONES SIMPLES (Atmicas) La condicional se puede hallar tcita,
Son siempre afirmativas y no se pueden sobrentendida.
descomponer. Su esquema bsico es:
Pueden ser:
A. PREDICATIVAS.- Aquellas que presentan, Si entonces
en su estructura, slo un sujeto y un solo
predicado (el sujeto Se divide en:
puede hallarse tcito). Condicional Directo.- Aqu se presenta
Ejm.: primero el antecedente y luego el
Los huancayinos son alegres. consecuente (causa - efecto).
- Las ballenas son mamferos. Ejm.
B. RELACIONALES.- Presentan en su Si entonces
estructura un vnculo, dos sujetos o ms.
Ejm.:
- Pedro es amigo de Jos. Condicional Inverso.- Aqu se presenta
- La Trigonometra es ms compleja que la primero el consecuente luego el
Geometra. antecedente. Se usa las conectivas:
- Lucho y Maricarmen se odian. dado que, puesto que, ya que, porque, si,
3.2 COMPUESTAS (Moleculares, Coligativas) siempre que, cada vez que, etc.
Estn constituda por ms de una proposicin Ejm.
simple unida por las conectivas y, o, entonces, porque
si y slo si, o la negacin (no). Son las
siguientes: E. Bicondicional (doble implicacin).-
A. Negativas.- Son las que presentan la Presentan como conectiva a "Si y slo si",
negacin (no, no es cierto que, es falso o sus equivalentes: cuando y slo cuando,
que, es mentira que, no ocurre que, etc.). entonces y slo entonces, etc.
Ejm.: - Roco no es menor de edad. Ejm.
- Es falso que el gallo y la gallina sean - Edwin corre si y slo si quiere llegar a la
acuticos. meta.
B. Conjuntivas .- Presentan como conectiva a - Hctor se baa cuando y slo cuando lo
la "Y". La conjuncin puede hallarse tcita, invitan a un matrimonio.

Prof. Widman Gutirrez Pag.1

 MATEMTICA

PRACTICA
1. Seale la proposicin que no sea disyuncin d) Porque quiero estudiar en la universidad, me
exclusiva: preparo adecuadamente.
a) Maana es lunes o martes. e) John Locke fue empirista debido a que sostena
b) La cra de la perra es macho o hembra. que la nica fuente del conocimiento es la
c) Sara es estudiante o abogada. experiencia sensible.
d) Espaa est ubicada en Asia o Europa.
e) O vamos a la discoteca o vamos a la biblioteca. 7. "Tanto Rocky como Pedro son profesionales; si
tienen ttulo profesional". Lo anterior es :
2. "Martha Hildebrandt es peruana porque naci en a) Una conjuncin.
Lima", la afirmacin anterior es una proposicin: b) Un condicional directo.
a) Simple. c) Un condicional inverso.
b) Compuesta. d) Una bicondicional.
c) Conjuntiva. e) Una negacin.
d) Condicional.
e) Condicional inversa. 8. "Jhonson es lder u orador". Qu tipo de
proposicin es?
3. Cul de los siguientes es una proposicin a) Conjuncin.
conjuntiva? b) Disyuncin exclusiva.
a) Porque soy peruano, hablo en castellano. c) Disyuncin inclusiva.
b) As como estoy casado, soy mayor de edad. d) No es proposicin.
c) Lucrecio es mdico o arquitecto e) Simple.
d) Rony y Joel son socios.
e) Scrates bebi la cicuta y muri. 9. Seale Ud, cul es una proposicin compuesta
disyuntiva fuerte:
4. Relacione correctamente: a) Flix es cusqueo o peruano.
I. Mximo tena bolsa de viaje, sin embargo no b) O postulamos a la UNI o a UP.
viaj. c) Cuando corr, llegu temprano.
II. El gato es un animal domstico. d) Puede ser que maana llame por telfono a mi
III. No se da el caso que el sol sea una estrella. amigo Arturo.
IV. Epicuro es hedonista o filsofo. e) El agua de mar es salada.
A. Negacin. 10. La expresin: "Los estudiantes universitarios
B. Conjuncin. pobres son estudiosos; sin embargo, tienen
C. Disyuncin. limitaciones econmicas". Presenta como
D. Simple predicativa. antecedente a:
a) IA -IIB-IIIC-IVD a) Tienen limitaciones econmicas.
b) IB-IID-IIIA-IVC b) Los estudiantes universitarios pobres.
c) IC-IID-IIIA-IVB c) Los estudiantes universitarios tienen
d) ID-IIA-IIIB-IVC limitaciones econmicas.
e) IB-IID-IIIC-IVA d) Los universitarios son pobres y tienen
limitaciones econmicas.
5. Cul es la conectiva que tiene mayor jerarqua en e) Ninguna, porque no es una proposicin
la siguiente afirmacin? condicional.
"Carolina viaj a Brasil, tambin a E.E.U.U.; ms
an, aprendi el idioma portugus e ingls. 11. Cul es una proposicin compuesta?
Consecuentemente, su viaje fue exitoso". a) Shakira y Paulina Rubio son vecinas.
a) Tambin. b) Jennifer, la duea de la botica, est
b) Ms an. embarazada.
c) Consecuentemente. c) Los insectos son invertebrados.
d) e. d) Todo hombre es racional.
e) Ms an y consecuentemente. e) Los eucaliptos juegan y las palmeras bailan.

6. Seale la alternativa que sea una proposicin 12. Qu proposicin es :"Es el caso que eres un buen
condicional invertida. postulante si te preparas en BINMAT"?
a) Si tomo cerveza entonces no tomo vino. a) Conjuntiva.
b) Milagros aprob el examen de ah que le b) Disyuntiva.
entregarn su ttulo profesional. c) Bicondicional.
c) Los tigres son animales salvajes. d) Condicional.

Prof. Widman Gutirrez Pag.2

 MATEMTICA

e) Negativa. 19. En las siguientes expresiones, marque aquella que

es una proposicin bsica relacional:
13. Una proposicin disyuntiva inclusiva, ser: a) Todos los mamferos son vertebrados.
a) Hctor es soltero o casado. b) Juan y Lucio viajaron al Sur.
b) Si hay dinero, iremos de vacaciones. c) Tanto Per como Chile estn al sur de Amrica.
c) La leche est fra o caliente. d) Vargas Llosa y Bryce Echenique son
d) Rommel es lder u orador. contemporneos.
e) Eres t o soy yo quien se casar con Diana. e) Charo y Sophie son hermanas; pero no trabajan
juntas.
14. Una proposicin es elemental cuando:
a) Carece de oraciones. 20. Cul de los siguientes es un enunciado
b) Tiene una sola oracin. aseverativo lgico?
c) Contiene implicacin. 1. Mi deseo es trabajar por los pobres.
d) Se divide en dos o ms significados. 2. La teora de la relatividad.
e) Posee un solo significado. 3. El sol es una estrella.
4. Ciertos mamferos son carnvoros.
15. La finalidad de todo enlace lgico es:
a) Relacionar variables entre s. a) Todos.
b) Encontrarse en una proposicin bsica. b) 1 y 2.
c) Establecer valores veritativos. c) 3 y 4.
d) Operar lgicamente. d) Slo 4.
e) Formar proposiciones simples. e) Ninguno.

16. La proposicin: "Aneth est en Lima o en 21. La caracterstica principal de una proposicin
Chincha", presenta una disyuncin exclusiva coligativa, es que:
porque: a) Por lo menos tiene una proposicin bsica.
a) Est en los dos lugares a la vez. b) Debe llevar cuantificadores.
b) Est en Chincha s y slo si est en Lima. c) Debe llevar trminos de enlace.
c) Se est en Lima entonces va a Chincha. d) Debe tener una copula.
d) No puede estar en los dos lugares a la vez. e) Relaciona necesariamente a dos sujetos.
e) Puede al mismo rato ir a los dos lugares.
22. Seale la correspondencia:
17. Cul no es una proposicin conjuntiva? 1. Amigo amable.
I. Marco y Dante son amigos. 2. A pesar que te estimo, no te saludo.
II. Csar es tan amable como Zoila. 3. Salgo de viaje puesto que es fin de ao.
III. A pesar que Juan es alto, no llega al techo. 4. Marcelo y Rosita son compaeros.
IV. Hoy cantas pues ests feliz. a. Condicional.
V. El nio llora si tiene hambre. b. Simple o atmica.
a) I - II - III. c. Conjuntiva.
b) III - IV - V. d. Simple relacional.
c) Slo IV y V. a) 1a , 2b , 3c , 4d.
d) I - IV - V. b) 1b , 2c , 3a , 4d.
e) I - II - V. c) 1d , 2a , 3b , 4c.
18. Seale la correspondencia: d) 1a , 2d , 3b , 4c.
1. Si la puerta est abierta, sale el gato a la calle. e) 1c , 2d , 3b , 4a.
2. La historia es una ciencia social o fctica. 23. Indique cul es una proposicin conjuntiva:
3. Quizs vengas maana si hoy es Lunes. a) Sonia o Martha son mdicas.
4. Puede ser que maana te llame. b) El caballo relincha cada vez que trota.
a. Disyuntiva. c) La Fsica es una ciencia fctica ya que requiere
b. Condicional. de la matemtica.
c. No es proposicin. d) Ir al cine; sin embargo, no te llevar.
d. Condicional invertida. e) Gloria y Ramn son amantes.

a) 1c , 2a , 3b , 4d. 24. Seale cul es una proposicin simple:

b) 1b , 2a , 3d , 4c. a) El gato y el lobo son carnvoros.
c) 1d , 2c , 3a , 4b. b) Carola o Juana son enemigas de Pedro.
d) 1a , 2b , 3c , 4d. c) Jpiter no es tan grande como el sol.
e) 1b , 2a , 3c , 4b. d) Otras personas son ms cultas que ustedes.

Prof. Widman Gutirrez Pag.3

 MATEMTICA

e) El Per y Bolivia son pases tercermundistas. 32. La proposicin: "Aunque est caro comprar una
computadora" es:
25. No es caracterstica de la proposicin simple: a) Una disyuntiva.
a) Siempre es afirmativa. b) Simple predicativa.
b) No se puede descomponer en varias c) Simple relacional.
proposiciones. d) Una conjuntiva.
c) Puede tener 2 sustantivos (sujeto compuesto). e) Un condicional indirecto.
d) Puede ser interrogativa.
e) No puede ser negativa. 33. En la siguiente lista de proposiciones relacione
correctamente:
26. Seale Ud. cul es proposicin: 1. Condicional.
a) Ms bella que un amanecer. 2. Disyuntiva.
b) Por qu me tratas mal? 3. Conjuntiva.
c) Trabajars por las noches. 4. Simple relacional.
d) A pan duro, diente agudo.
e) Gan la Tinka! A. El len es un mamfero a la vez que carnvoro.
B. Arturo est a la derecha de Moiss.
27. Seale Ud. cul no es caracterstica de la C. El agua est salada porque es del mar.
proposicin: D. Almorzamos estofado o arroz chaufa.
a) Toda proposicin o es verdadera o es falsa. a) C1 , D2 , A3 , B4.
b) La proposicin falsa se puede afirmar o negar. b) A1 , B3 , C3 , D4.
c) Toda oracin exclamativa es una proposicin. c) B1 , C2 , D3 , A4.
d) Dentro del razonamiento la proposicin puede d) D1 , A2 , B3 , A4.
ser premisa o conclusin. e) D1 , A2 , B3 , C4.
e) La oracin informativa puede ser proposicin.
34. De las siguientes proposiciones, cul no pertenece
28. A qu clase de proposicin corresponde: "La a la disyuncin fuerte:
msica es un arte a pesar que es un sentimiento". a) "Augusta es nortea o surea".
a) Simple. b) "Csar Vallejo muri en Lima o en Pars".
b) Disyuntiva. c) "Te vistes o te desvistes para correr".
c) Condicional. d) "Vamos al parque de las leyendas o vamos a
d) Conjuntiva. pasear".
e) No es proposicin. e) "El da de mi cumpleaos es el 26 o el 29 de
agosto".
29. Seale qu aseveracin es verdadera:
a) Toda oracin es una proposicin. 35. Seale cul es una proposicin compuesta:
b) La proposicin simple puede ser afirmativa o a) Voy al cine solo los domingos.
negativa. b) Ests cansado y fatigado?
c) Toda condicional indica causa - efecto. c) Sergio es ms hbil que Jorge.
d) La oracin dubitativa puede ser proposicin al d) Salgo de viaje en invierno.
forman parte de una compuesta. e) Juego la lotera slo si no hay fraude.
e) La proposicin compuesta est formada por
varias proposiciones simples. 36. El enunciado : "La Fsica es una ciencia; sin
embargo no es complicada", posee bsicamente:
30. Seale cul no es caracterstica de la proposicin: a) 2 proposiciones simples.
a) Toda proposicin o es verdadera o es falsa. b) 1 proposicin compuesta.
b) La proposicin falsa se puede afirmar o negar. c) 2 proposiciones negativas.
c) Toda oracin aseverativa es una proposicin. d) 1 proposicin simple y 1 proposicin
d) La oracin interrogativa puede ser proposicin. compuesta.
e) Dentro del razonamiento, la proposicin puede e) 1 proposicin simple y 1 proposicin
ser premisa o conclusin. compuesta condicional.
31. Indique cul no es una proposicin conjuntiva: 37. A la proposicin simple se le conoce tambin
a) "Emelly y Flavia son contadoras". como:
b) "El caballo relincha a la vez que trota". a) Compuesta.
c) "La Fsica es una ciencia tctica a pesar que b) Atmica.
requiere de la matemtica". c) Molecular.
d) "Te amo, sin embargo no me casar". d) Universal.
e) "Gloria y Ramn son amantes". e) Particular.

Prof. Widman Gutirrez Pag.4

 MATEMTICA

38. Indique la condicional inversa : c) Negacin.

a) Ir al concierto siempre que tenga dinero. d) Condicional.
b) El equipo peruano gan ya que entren mucho. e) Bicondicional.
c) Nos divertimos mucho en la fiesta.
d) Hace fro, por lo tanto me abrigo. 46. Las proposiciones atmicas:
e) a y b. a) Presentan operadores.
b) Pueden ser negativas.
39. Seale lo correcto: c) Pueden ser falsas.
a) Las expresiones imperativas son proposiciones. d) Son divisibles.
b) "Ojal me regalen una bicicleta", es falso que e) No son relacionales
sea una proposicin.
c) El telfono es chismoso. 47. "Alberto y Jos son hermanos"; es ejemplo de
d) Slo b. proposicin :
e) a y c. a) Atmica.
b) Conjuntiva.
40. Seale la proposicin negativa simple: c) Molecular.
a) Pedro y Omar son desconsiderados. d) Disyuntiva.
b) No ocurre si es de confianza, que traicione. e) Condicional.
c) Es falso que, Juan es inmoral.
d) Mariela ir de viaje si y slo si saca buenas 48. "Cuando llueve en plena tarde soleada, se
notas. produce el llamado arcoiris"; es ejemplo de
e) Es imposible que Juan mienta. proposicin:
a) Conjuntiva.
41. "El Imperio Incaico se encuentra en Amrica del b) Simple.
Sur"; es una proposicin de tipo: c) Condicional.
a) Simple predicativa. d) Bicondicional.
b) Atmica relacional por ubicacin. e) Disyuntiva.
c) Simple predicativa de grado.
d) Conjuntiva relacional. 49. "Estoy vivo o estoy muerto"; es una proposicin:
e) Atmica predicativa disyuntiva. a) Disyuntiva dbil.
b) Conjuntiva.
42. Son aquellas proposiciones que carecen de c) Condicional.
enlaces lgicos o conjunciones gramaticales, se d) Disyuntiva fuerte.
refiere: e) Bicondicional.
a) Conjuntiva.
b) Disyuntiva. 50. Seale la proposicin atmica:
c) Simple. a) Luis y Alberto estudian juntos.
d) Bicondicional. b) No volver a verla, amada ma.
e) Negativa. c) Ojal llueva en la sierra de Lima.
d) No es cierto que estudie en la UNI.
43. Javier trabaja, adems, estudia ingls; es una
e) Como practicas, dominas el curso.
proposicin.
a) Simple.
CLAVES
b) Coligativa.
01 02 03 04 05
c) Compuesta.
d) Molecular. 06 07 08 09 10
e) Todas menos la a.
11 12 13 14 15
44. La Lgica Proposicional tambin es conocida como
lgica:
16 17 18 19 20
a) De clases.
b) De predicados. 21 22 23 24 25
c) Cuantificacional.
d) De las proposiciones analizadas. 26 27 28 29 30
e) De las proposiciones sin analizar.
31 32 33 34 35
45. Conector mondico, considerado tambin como
modificador lgico: 36 37 38 39 40
a) Conjuncin.
b) Disyuncin.

Prof. Widman Gutirrez Pag.5

 MATEMTICA

La simbolizacin de proposiciones consiste en la a) JERARQUIZACIN

representacin del lenguaje ordinario mediante el Jerarquizar significa agrupar las variables y los
lenguaje artificial (convencional). Formalizar, significa operadores dentro de los signos de coleccin,
reemplazar cada proposicin por una variable y cada llamados tambin de agrupacin.
conectivo (trmino de enlace) o modificador (la Para jerarquizar hay que tener en cuenta los
negacin) por un operador lgico, todo ello siguientes requisitos:
correctamente jerarquizado mediante signos de * Slo presentan jerarqua los conectivos lgicos
agrupacin. (y, o, entonces, si y solo si, etc.).
1. VARIABLES * Para realizar una correcta jerarquizacin hay
Se utilizan para representar a las proposiciones que tener en cuenta los signos de puntuacin
simples. Son las letras minsculas: p, q, r, s, t, ..., etc. del texto a jerarquizar, en cuanto ellos indican
Ejemplo: la ubicacin de los signos de coleccin.
a) . * En el texto, el punto seguido tiene mayor
jerarqua, le sigue en 2do. lugar el punto y
b) as como coma, y en 3er. lugar la coma.
b) REGLAS PARA JERARQUIZAR
. 1. Donde est ubicado el signo de puntuacin ms
importante del texto, ah se encuentra ubicado
el conectivo principal.
2. OPERADORES LGICOS
2. Donde se encuentre un signo de puntuacin ah
Son de dos tipos:
se abre o cierra un signo de coleccin
a) Didicos.- Se utilizan para representar a las
(parntesis, corchete o llave)
conectivas (trminos de enlace).
3. El conectivo que se encuentre fuera o en la
Operador Conectores parte ms externa de los signos de coleccin es
... y .... el que tiene mayor jerarqua.
.... o .... 4. Si encontramos un texto donde se presente una
o ... o ... sucesin de idnticos signos de puntuacin,
ser mayor el que presente como conectivo
si ... entonces ...
entonces, luego o cualquiera de sus sinnimos.
... si y solo si ...
5. La negacin antecede a la variable (~p), no
Ejemplo: enlaza proposiciones, pues no es conectivo:
(p ~ q).
* Si practicamos los ejercicios de lgica, entonces Ejemplo:
aprendemos. y ,o
* Los leones son salvajes y carnvoros.
. Sin embargo .
b) Mondico.- Sirve para reemplazar al modificador
"no" o sus expresiones equivalentes (no es cierto, es
- p y q, o r. Sin embargo s(reemplazando proposiciones)
falso que, no es el caso que, etc.).
Operador ~
- p q , r . s (reemplaza conectivos)
Modificador no

Ejemplo:
jerarqua 2 jerarqua 1
* Marte no es una estrella.
- [(pq) r] s (jerarquizando)
* , las gallinas tengan 2 patas y no
4. FRMULAS
sean aves. Es el resultado de la correcta formalizacin y
jerarquizacin de las proposiciones o inferencias.
3. SIGNOS DE AGRUPACIN
Se utilizan para agrupar a las variables y Ejemplo:
operadores asi como, darles jerarqua. Son los
siguientes: a) y
* Parntesis ( )
* Corchetes [ ]
Frmula : p q
* Llaves { }
Nombre : frmula conjuntiva
* Barras | |

Prof. Widman Gutirrez Pag.6

 MATEMTICA

b) Si , entonces en la parte ms externa de los signos de

agrupacin (divide a la frmula en dos) o en todo
jerarqua caso la negacin libre.
o Ejemplo :

2 1
Mayor jerarqua
Menor jerarqua

Frmula : p(q r)
Nombre : Frmula condicional [ ]
2 1 3 2 3
NOTA: Si al formalizar, encontramos al Mayor jerarqua
condicional inverso, se debe permutar las Mayor jerarqua
proposiciones que conforman el condicional. 1
Ejemplo: (p q) (r s) { [ ]}
* 2 Menor 2 1 2 4 3 4 5
jerarqua
Mayor jerarqua
porque .
7. USO DE LOS PUNTOS AUXILIARES Se utilizan
Condicional inverso
dentro de la simbologa de Peano y Russell. Estos
Frmula : q p puntos auxiliares, sirven para determinar la
Nombre : Frmula condicional inverso jerarqua de los operadores didicos en reemplazo
de los signos de agrupacin.
5. FRMULAS BIEN FORMADAS (fbf)
Obedecen a las siguientes reglas de formacin: Proposicin Estructura formal Frmula
I. Cada variable proposicional es una fbf Conjuncin pyq pq
Ejm. p, q, r, ............. Disyuncin inclusiva poq p q
Disyuncin exclusiva opoq p q;
II. Si A es una fbf entonces ~A es una fbf. Condicional si p entonces q p q;
Ejm. Bicondicional p si solo si q p q
*p * ~p (fbf) Negacin no p ~p
*q * ~q (fbf)
Ejemplo:
III. Si A y B son fbfs entonces AB , A B , A B, * y
AB , A B son fbfs.
Ejem. =p q
*pq *p q * (pq)(rs)
*pq *pq * (pq)[r(pq)]
* p q * (p q)r * p q r * Si entonces
* p q r
=p q
IV. Ninguna otra es una fbf. en caso contrario son
frmulas mal formadas (fmf)
Ejm. REGLAS PARA EL USO DE PUNTOS AUXILIARES
* p~q Es una fmf porque la negacin no es un 1) La conjuncin tiene mayor jerarqua que cualquier
operador didico. otro operador que no tenga o ste afectado por
* p q Es una fmf porque el operador " puntos.
", no es mondico y debe estar entre
Ejm: Mayor jerarqua Mayor jerarqua
variables. 1 1
(Ejm. p q)
* p q r Es una fmf porque no se puede 2 2
determinar cul de los operadores tiene
mayor jerarqua, dado que le falta el signo 2) El operador didico con mayor nmero de puntos
de agrupacin. es el de mayor jerarqua, si y solo si no est
(Ejm. (pq) r ) limitado por los signos de agrupacin.
Ejm: Mayor jerarqua Mayor jerarqua
6. JERARQUIZACIN DE FRMULAS 1 1
En cualquier frmula lgica, el operador que tiene
mayor jerarqua es aquel operador didico fuera o 2 2 4 3

Prof. Widman Gutirrez Pag.7

 MATEMTICA

3) Al operador mondico (negacin) no se le puede [ ]

asignar puntos auxiliares, porque estos se asignan 1 3 2 1 3 4 2 3 4
solamente a los operadores didicos. De ah que Mayor jerarqua
cuando se trata de una negacin libre, es Mayor jerarqua
necesario utilizar los signos de agrupacin .
Ejm:

PRACTICA

1. "Si Jennifer es alta o baja, entonces le queda el c) [(p q) ~ q] p

anillo de compromiso" d) (p ~ q) r
Simbolizando lo anterior, resulta: e) (p q) (~ q p)
a) (p q) r
b) (p q) ~ r 7. Formule:
c) (p q) r "Carmen no adquiri un vino; sin embargo,
d) (p q) r porque tiene sed, pidi un helado".
e) p (q ~ r a) ~ p (q r)
b) ~ p (r q)
2. Simbolice: c) p (q r)
El avin despegar a las 5 de la maana a menos d) ~ p (q r)
que la neblina cubra el aeropuerto. e) ~ p (q r)
a) p q
b) p q 8. Cul es la frmula correcta de:
c) q p "El Alcalde ser reelegido, si mantiene el ornato
d) p q de la ciudad o no aumenta el impuesto predial"?
e) p q a) p (q ~ r)
b) (q ~ r) p
3. Simbolice: c) (q ~ r) p
O Martn estudia alemn y portugus o va a la d) p ~ q
biblioteca y busca informacin. e) (~ q p) r
a) (p q) (r s)
9. "Si Gloria trabaja entonces gana dinero, si gana
b) (p q) (r s)
dinero compra un auto; por tanto si trabaja,
c) p [q (r s)]
compra un auto".
d) p [(q s) r]
Seale la alternativa que le corresponde:
e) (p q) (r s)
a) (p q) {(q r) (p r)}
4. Marque la alternativa que corresponda a la b) (p q) [(r q) (p r)]
frmula: c) (p q) [(q p) (r p)]
~qp d) [(p q) (q r)] (p r)
a) Si no voy al museo entonces soy feliz. e) (p q) [(q r) (p r)]
b) Corro o no llego tarde.
10. Formalice:
c) No camino si y solo si me duele los pies.
Hugo llora si Milagros no viene, no obstante
d) Llegar tarde porque no corro.
Milagros no viene porque Hugo llora.
e) Es falso que si voy al museo, sea infeliz.
a) (~ q p)~(p ~ q)
5. "El pantaln de Manuel est arrugado por que b) (p ~ q)~(~ q p)
no lo planch, adems est usado". c) (~ q p) (p ~ q)
Formalizando resulta: d) p ~ q p q
a) (p ~ q) r e) (~ q p) (p ~ q)
b) (~ q p) r
11. Formalizar lo siguiente:
c) p q
"Mara tiene 15 16 aos de edad, as como
d) ~ p q
estudia Derecho o Ingeniera de Sistemas. Luego,
e) (~ q r) q
es mayor de edad o tiene DNI".
6. Simbolice: a) [(p q) (r s)] (t w)
Melissa come yuca o camote; sin embargo, no b) [(p q) (r s)] (t w)
come camote. De ah que, come yuca: c) [(p q) (r s)] (t w)
a) [(p q) r] s d) [p (q r)] s
b) [(p q) ~ q] p e) No se puede formalizar.

Prof. Widman Gutirrez Pag.8

 MATEMTICA

12. Simbolice: b) p
Cuando Platn desprecia lo sensible; pero aprecia c) p q
lo ideal, muestra la caracterstica del valor d) ~ p ~ q
denominado jerarqua e) ~ q ~ p
a) (~ p q) r
b) p q 19. "Sonia no vino al Seminario tampoco al Concurso
c) (p q) r de becas debido a que viaj al Sur".
d) p Simbolizando lo anterior, resulta:
e) p q a) r. . ~ p. ~ q
b) r. . ~ p.q
13. Simbolice: c) ~ p.q. .r
"El poeta es sensible ya que es romntico, pues d) ~ p ~ q r
es sensible". e) q p
a) q. .p.r
b) p. .q p 20. Qu operadores presenta el texto siguiente: "Es
c) q p imposible que salga el sol y estemos de noche.
d) r. .q p Por ello o es de da o estamos de noche".
e) p q. .r a) ~, . , , v
b) ~, . , , v
14. Simbolice: c) ~, , ,
"Eduardo y Vctor son vecinos, adems estudian d) ~, ,,
en la UNMSM". e) ~, . , ,
a) p . q v r
b) p . q 21. Formalizar:
c) p v q "Si llueve al medio da, no secar la ropa; si no
d) (p . q) . (r . s) llueve, secar y te irs a la fiesta. Por lo tanto, si
e) p . (q . r) vas a la fiesta, no llovi".
a) p ~ q (~ p q r): : r ~ p
15. "Al igual que filsofo, Pitgoras fue matemtico, b) p ~ q ~ p q r : : r ~ p
dado que concibi al nmero como fundamento de c) p ~ q ~ p q r : : r ~ p
todo existente". La frmula que lo representa, es: d) p ~ q ~ p q r : : r ~ p
a) p.q r e) ~ q p: :~ p q r : :~ p r
b) q p
c) r. .p.q 22. Simbolice:
d) r p.q "Tendremos muchas flores en el jardn, si la
e) r. .p q estacin es propicia y las semillas no estn
malogradas".
16. Simbolice: a) p q ~ r
"O el ornitorrinco es mamfero o es ave. Pero b) p q r
tiene glndulas mamarias. Por lo tanto, no es c) q ~ r p
ave". d) p q r s
a) p q r ~ q e) q p
b) p q r ~ q
c) p q r q 23. "Como Franklin se esforz bastante cuando no lo
d) p q r ~ q apoyaron sus amigos, no es cierto que est
e) p q r ~ q desempleado o no haya progresado".
Luego de formalizar lo anterior, resulta:
17. "Locke fue empirista, en cambio Descartes fue a) p ~ q ~ r ~ s
racionalista. Por ello, tuvieron filosofas b) p ~ q ~(~ r ~ s)
opuestas". c) ~ q p ~(~ r ~ s)
Formalizando, obtenemos: d) ~ p (q ~ r)
a) p q r e) p ~ q ~ (~ r ~ s)
b) p q r
c) p q 24. El escritor es sensible ya que es enamoradizo,
d) q p pues es sensible.
e) p q r a) (p q) p
b) (p q) p
18. Sin igualdad, nunca habr justicia: c) p (q p)
a) p q d) p (q p)

Prof. Widman Gutirrez Pag.9

 MATEMTICA

e) (p q) q (Sabiendo que p = hace calor y q = la temperatura

aumenta)
25. Si la historia es una ciencia social o una ciencia a) ~ p ~ q
fctica, entonces o es objetiva o subjetiva. b) ~ (p ~ q)
a) (p q) (r s) c) ~ q ~ p
b) (p q) (r s) d) ~ (~ q p)
c) (p q) (r s)
e) p ~ q
d) (p q) (r s)
e) (p q) (r s) 32. Simbolice correctamente la siguiente expresin:
"Si la neblina aumenta, la visibilidad disminuye y
26. Maana voy al cine, como al parque; si y solo s
si disminuye la visibilidad, pueden ocurrir
es domingo, si no llueve:
accidentes".
a) ~ s {(p q) r}
(Donde p = la neblina aumenta, q = la visibilidad
b) {(p q) r} ~ s
disminuye; r = ocurren accidentes)
c) {(p q) r} s
a) (p q) (r s)
d) s {(p q) r}
b) (p q) (q r)
e) {( p q) r} ~ s
c) (p q) (r s)
27. Formule: d) (p q) (r s)
"Roco no adquiri un vino, sin embargo tiene e) (p q) (q r)
sed, pidi un helado".
a) (q ~ p) r 33. Seale la simbolizacin de:
b) (~ p q) r "Cuando hace Sol, es posible que la temperatura
c) (~ p q) r aumente o sea verano".
d) (~ q p) r a) p (q r)
e) (~ p q) r b) p (q r)
c) p (q r)
28. La biologa estudia la vida y los seres vivos, si es d) p (q r)
una ciencia natural. e) p q r
a) (p q) r
b) r (p q) 34. El argumento:
c) (p q) r "Pitgoras fue matemtico tal como filsofo.
d) r (p q) Pero Lutero fue protestante siempre, que no se
e) (p q) r someti al Catolicismo"
Se formaliza como:
29. "No es cierto que seas mujer y hombre, ya que a) (p q) r ~ s
eres hombre. Por lo tanto no eres mujer". b) p (q ~ r)
Su formalizacin corresponde a: c) (p q) (r ~ s)
a) [~ (p q) q] ~ p d) (p q) (r ~ s)
b) [q ~ (p q)] ~ p e) (p q) (~ r s)
c) [p ~ (p q)] ~ q
d) [~ (p q) p] ~ q 35. Formalice correctamente:
e) [~ (p q) p] ~ q "No es el caso que no haya control de precios o
los combustibles se encarezcan".
30. Simbolice correctamente la siguiente proposicin: La frmula lgica correcta de la expresin anterior es:
"Alonso es abogado o diplomtico y si es a) ~ (p q)
diplomtico viaja casi siempre al extranjero". b) ~ (~ p q)
(Si se sabe que P = Alonso es abogado; q = Alonso c) ~ (p q)
es diplomtico; r = Alonso viaja casi siempre al d) ~p~q
extranjero). e) ~ (p q)
a) (p q) (r s)
b) (p q) (r s) 36. "Si Diego es matemtico y Sebastin ingeniero,
c) (p q) (q r) entonces ambos trabajarn en la NASA".
d) (p q) (q r) La simbolizacin correcta es:
e) (p q) (q r) a) (p q) r
b) p (q r)
31. Represente formalmente el siguiente enunciado: c) (p q) (r s)
"Es falso que hace calor si la temperatura no ha d) (p q) (r s)
aumentado". e) (p q) (r s)

Prof. Widman Gutirrez Pag.10

 MATEMTICA

37. Simbolice: c) (~ p ~ q ) ~ r
"No es cierto que compr acciones de la d) (~ p ~ q ) ~ r
telefnica o bonos del gobierno. Luego obtuvo e) (~ p ~ q ) ~ r
buenos dividendos porque compr acciones de la
telefnica". 44. Si Salma es alta o baja, entonces no le queda el
a) r (~ p q) (s t) vestido.
b) ~ (p q) (p t) a) (p q) ~ r
c) ~ (p q) (r s) b) (p q) ~ r
d) r (p q) (s t) c) (p q) ~ r
e) ~ (p q) (s t) d) (p q) ~ r
e) (p ~ q) r
38. Formalizar:
"Si llueve al medioda, no secar la ropa; si no 45. Si es feriado, no ir a trabajar. No es feriado.
llueve, secar y te irs a la fiesta. Por lo tanto, si Luego, ir a trabajar.
vas a la fiesta, no llovi". a) (p ~ q ~ p) ~ p
a) {[(p q) ~ (p q)]} (s r) b) (p ~ q ~ q) ~ p
b) (p q) (r s) ~ p c) (~ p p)(~ q ~ p)
c) {[(p ~ q)~ r (q s)]} (r ~ p) d) p ~ q ~ p q
d) [(p q) ~ (p r)] (p ~ r) e) ~ q p ~ p q
e) {(p ~ q) [~ p (q r)]} (r ~ p) 46. La Lgica es una ciencia formal, debido a que su
39. "Si hablas, irs a juicio; si callas, te condenarn, objeto de estudio es abstracto y no emprico.
pero hablas o callas. Por lo tanto es imposible a) (q r) p
que no vayas a juicio y no te condenen". b) q ~ r p
a) [(p q)(r s)(p r)] ~(~q ~s) c) q ~ r p
b) [(p q)(r s) (p r)]~(~q ~s) d) q ~ r p
e) p (q ~ r)
c)[(pq)(~p~r)(p~p)]~(~q~s)
d) (p q) ~ (p s) 47. Las aves migran si es invierno; pero no migran si
e) (p ~ p) ~ (~ q ~ r) antes no se reproducen.
a) q p ~ r ~ p
40. "Judas es desleal y deshonesto porque no dijo la
b) q p ~ r ~ p
verdad a Jess y lo entreg a los judos; de ah
c) p q ~ r ~ p
que ya no es una persona de confianza".
d) p q ~ p ~ r
Formalizando la expresin anterior, se obtiene:
e) q p r ~ p
a) ~ t [(~ r s) (~ p ~ q)]
b) [(~ r s) (~ p ~ q)] ~ t 48. No es el caso que postule a Letras o Sociales,
c) [~ (~ p ~ q) (~ r s)] ~ t puesto que tengo vocacin por los nmeros.
d) [(p q) (~ r s)] ~ t a) ~ (p q) r
e) [(p q) r] ~ s b) r ~ (p q)
c) r ~ (p q)
41. Tard en llegar, porque se malogr el auto y tuve
d) r ~ (p q)
que venir a pie.
e) r ~ (p q)
a) p (q r)
b) (q r) p 49. Ir al mdico, siempre que est enfermo. Pero no
c) (q r) p estoy enfermo. Luego, al mdico no voy.
d) (q r) p a) (q p ~ p) ~ q
e) (q r) p b) (p q ~ p) ~ q
c) (q p ~ q) ~ p
42. No ir a trabajar, si y slo si declaran el da
d) (p q ~ q) ~ p
feriado o me encuentre enfermo.
e) (p q ~ q) ~ p
a) ~ p (q r)
b) ~ p (q r) 50. Es falso que vaya al mdico y no me encuentre
c) ~ p (q r) mal de salud.
d) (q r) p a) ~ p ~ q
e) (q r) p b) ~ (p ~ q)
c) ~ (p ~ q)
43. Sin justicia social, no hay democracia ni
d) ~ (p ~ q)
legalidad.
e) ~ (p q)
a) ~ p (~ q ~ r)
b) ~ (p q) r

Prof. Widman Gutirrez Pag.11

 MATEMTICA

51. O la Psicologa es una ciencia social y los b) ~ (p q) q

fenmenos naturales no son determinantes de la c) ~ (p q) q
conducta, o es una ciencia natural y los eventos d) (~ p q) p
psquicos son una mera continuidad de los fsicos. e) q (p q)
a) p q r s
b) p q r s 58. La simbolizacin correcta:
c) p.~q . r. s "Javier aumentar su perspicacia e ingenio si
d) p q r s estudia Lgica".
e) p q r s a) q p
b) p q
52. El ornitorrinco no es ave, dado que tiene c) r (p q)
glndulas mamarias; no obstante es falso que d) (r p) q
sea vivparo: e) p q
a) (q p) ~ r
59. "Si Luis viaja a Francia, tiene pasaporte. Es cierto
b) (q ~ p) ~ r
que viaja a Francia. Por lo tanto tiene
c) (~ p q) ~ r
pasaporte".
d) (q ~ p) ~ r
Su frmula es:
e) (q ~ p) ~ r
a) [(p q) p] q
53. Saldremos de viaje o no haremos turismo, si y b) [(~ p q) ~ p] q
slo si dispondremos de tiempo. c) [(p q) p] q
a) (p ~ q) r d) (p q) (q p)
b) (p ~ q) r e) (p q) (q p)
c) (p ~ q) r
60. Formalice:
d) r (p ~ q)
"Los deshonestos son desleales, porque son
e) ~r (p ~q) personas inmorales"
54. R. Descartes, pese a que fue el primer exponente a) q p
del Racionalismo Moderno, fue creyente, dado b) ~ q ~ p
que consider demostrable la existencia de Dios. c) (~ p ~ q) ~ r
a) p (r q) d) ~ r (~ p ~ q)
b) (p r) q e) p q
c) p (q r)
d) (p q) r
e) r (p q) CLAVES
01 02 03 04 05
55. Llueve, cuando no es verano. Pero es verano. Se
concluye que, no llueve ni hace fro o no es 06 07 08 09 10
verano.
11 12 13 14 15
a) [(p ~ q) p] [(~ r ~ s) ~ t]
b) [(~ q p) p] [(~ r ~ s) ~ p] 16 17 18 19 20
c) [(~ q p) p] [(~ p ~ r) ~ q]
d) [(~ q p) q] [(~ p ~ r) ~ q] 21 22 23 24 25
e) [(p ~ q) q] [(~ p ~ r) ~ q]
26 27 28 29 30
56. Simbolice:
"Si Locke es empirista, rechaz al innatismo y 31 32 33 34 35
consider que la mente al nacer est vaca".
a) (p q) r 36 37 38 39 40
b) p (q r)
c) p (q r) 41 42 43 44 45
d) p (q r)
46 47 48 49 50
e) (q r) p

57. Formalizar:
"No es el caso que Alex sea ingeniero o Abogado;
en conclusin Alex es abogado".
a) (~ p q) p

Prof. Widman Gutirrez Pag.12

 MATEMTICA

I. FUNCIONES VERITATIVAS antecedente es verdadero y el consecuente

1. DEFINICIN: Son interpretaciones semnticas de es falso, siendo verdadero en los dems
las posibilidades de verdad o falsedad de las casos".
proposiciones moleculares en base a sus La funcin veritativa se expresa en el
conectivas o el modificador. siguiente esquema:
Son las siguientes:
p q pq
A) Negacin: Lgicamente se rige por la
V V V
siguiente regla: "La negacin de una
V F F
proposicin verdadera es falsa.
F V V
La negacin de una proposicin falsa es
F F V
verdadera".
Esquemticamente, se representa por la F) Bicondicional: La regla es: "Una proposicin
siguiente tabla de verdad: bicondicional es verdadera cuando sus dos
componentes tienen valores iguales, y es
p ~p
falsa cuando sus dos componentes tienen
F V
valores distintos".
V F
Esquemticamente, se tiene:
Esto significa que si "p" es V, su negacin F o
p q pq
viceversa.
V V V
B) Conjuncin: La funcin veritativa de la
V F F
conjuncin se rige por la siguiente regla:
F V F
"Una proposicin conjuntiva es verdadera
F F V
cuando todas sus proposiciones
componentes son verdaderas, siendo falsa Ejemplos:
en los dems casos". 1. Si : p = F, q = V y r = F; indicar el valor de verdad
Esquemticamente, se tiene: (verdadero o falso) de las siguientes frmulas:
a)
p q pq
b) [ ]
V V V
Desarrollo:
V F F
a)
F V F
Pasos a seguir:
F F F
1. Asignar los valores correspondientes a
C) Disyuncin inclusiva o dbil: En este caso es: cada variable:
"Es falsa slo cuando todos sus componentes
son falsos, en los dems casos es V F F F
verdadera". 2. Evaluar las frmulas de acuerdo a las reglas
Esquemticamente, se tiene: de las funciones veritativas:
p q pq
V V V V F F F
V F F V V
F V F V
F F F 3. El valor final se obtiene del operador
D) Disyuncin exclusiva o fuerte: La regla es: principal (mayor jerarqua).
"Una proposicin disyuntiva fuerte es falsa Resultado = V (verdadero).
cuando sus componentes tienen valores Nota: Para resolver el ejercicio siguiente
iguales, en los dems casos es verdadera". procedemos en forma directa, porque ya
Esquemticamente, se representa: conocemos los pasos que se siguen.
p q p q b) [ ( )]
V V F F V F V
V F V V F
F V V V
F F F V
F
E) Condicional: La regla es: "Una proposicin
condicional es falsa slo cuando el Resultado: F (falso).

Prof. Widman Gutirrez Pag.13

 MATEMTICA

2. Si la frmula (p q) (p s) , es falsa, halle los Wittgenstein (1889 1951), filsofo viens, padre
valores de p, q y r, respectivamente: de la Filosofa Neopositivista y Analtica, es el que
Desarrollo: propone las tablas de verdad.
Pasos a seguir:
1. El valor de verdad de la frmula se ubica en el FRMULA: C = 2n
operador principal (mayor jerarqua). C = Nmero de lneas o arreglos que tendr las
tabla.
F 2 = Constante numrica
2. Se procede a dar el valor correspondiente a n = Nmero de variables
cada frmula o variable de acuerdo al valor dado
del operador principal, que cumpla con las reglas GRFICO:
de las funciones veritativas.

VFF F V F F
3. Luego obtenemos el valor de cada variable.
p = V; q = F; r = F Combinaciones (matriz(ces))
Resultado: VFF. de V y/o F

II. TABLAS DE VERDAD Y ESQUEMAS LGICOS

1. TABLAS DE VERDAD
Llamadas tambin de valores, tablas
veritacionales, mtodo de las matrices. Son
grficos en los que se representan todos los NOTA: Para hallar los valores de Verdad o
valores de verdad o falsedad que pueden asumir Falsedad de la matriz principal de una frmula
las distintas interpretaciones de un esquema o lgica en la Tabla de Verdad, es necesario emplear
frmula lgica. las funciones veritativas.

FUNCIONES VERITATIVAS:

Disyuntivo Disyuntivo
Conjuntivo Condicional Equivalente Negativo
Inclusivo Exclusivo
VV VV
VV= V VF = F V ser F
FF= F F V
F ser V
FF FF
C= C=
V V V V V V V V V F V V V V V V V
C= F V V C=
V F V F F V V F V V F V F F V F F
F V F F V F V V F F V F V V F F V
C=4 V F F C=2
F V F F F F F F F F F F V F F V F

PASOS A SEGUIR PARA EVALUAR LAS FRMULAS B) (p q) (r p)

LGICAS: C) p
1) Ubicar la frmula en el lugar correspondiente de la
Tabla. DESARROLLO
2) Jerarquizar la frmula.
3) Determinar el nmero de arreglos mediante la A)
frmula respectiva. 1
p q # de arreglos
4) Evaluar la frmula de acuerdo a las reglas de las
V V V
funciones veritativas, procediendo de la matriz de C=
V F F
menor jerarqua, hasta llegar a la matriz de mayor
F V V
jerarqua. C= =4
F F V
EJEMPLOS: Matriz
Determinar la matriz principal de las siguientes
frmulas: B) (p q) (r p)
A) p q

Prof. Widman Gutirrez Pag.14

 MATEMTICA

p q r # arreglos 2. Consistentes (Q): Llamados tambin esquemas

V V V V V V contingentes. En estas frmulas lgicas, la matriz
C=
V V F V V V principal de su tabla veritativa presentan por lo
V F V V V V menos un valor de verdad y uno de falsedad.
C=
V F F V V V Ejemplo:
F V V V V V [ ]
F V F V F F
F F V F F V 3 2 1 2
F F F F F F p q [ ]
V V V V F F
Matriz V F F F V F
F V V V V V
2. ESQUEMAS LGICOS (E. L.): F F V V V V
Son frmulas lgicas (proposiciones formalizadas)
las cuales pueden asumir funciones veritativas E. L. Bicondicional Contingente.
determinadas.
Pueden ser: 3. Contradictorios ( ): Son frmulas
1. Tautolgicos (T): Son aquellos cuya matriz formalmente falsas, la matriz principal de su tabla
principal contiene nicamente valores de verdad. de verdad slo contiene valores falsos.
Se le llama tambin "Principios Lgicos". Ejemplo:
Ejemplo: [ ]
[ ]
2 1 2 3
3 2 3 1 2 p q [ ]
p q [ ] V V V F F V
V V V F F V F V F F F F V
V F F F V V F F V F F F V
F V V F F V V F F F F V F
F F V V V V V
E. L. Conjuntivo Contradictorio
E. L. Condicional Tautolgico

PRACTICA

1. Seale la matriz principal del siguiente esquema d) VVVVVVVV

molecular: e) VVVVVVVF
[(p q) q] p
a) VVFV 4. Un esquema molecular es Tautolgico cuando su
b) VFVV matriz est constituida:
c) VVVF a) Slo por valores verdaderos.
d) FFV b) Slo por valores falsos.
e) VVVV c) Por valores falsos y verdaderos.
d) Slo por valores posibles.
2. Qu matriz principal corresponde al siguiente e) Por valores necesarios y falsos.
esquema molecular?
[(p q) ( q r)] (p r) 5. Si : p q ~ (p q) .
a) VVVVVVVV Halle los valores de: (p q) p .
b) VVVVVFFV a) VVVV
c) VFFVVFFV b) FFFF
d) VVVVVVFF c) VVFF
e) VVVFVVVF d) FFVV
e) VVVF
3. Seale la matriz principal del siguiente esquema
molecular: 6. Si el esquema es F, diga el valor de las variables: p,
[( q r) p] (p q) q, r y s respectivamente:
a) FFFFVVVV [(p q) (q r)][r (s p)]
b) FFFVVVFF a) VVVV
c) FFFFVFVV b) VVFF

Prof. Widman Gutirrez Pag.15

 MATEMTICA

c) VVVF [(~ p q) r] ~ [(r p) s]

d) VFVF a) FVVF
e) FFFF b) FFVF
c) FVFV
7. Si: d) VFVF
p q ~ (p q) y p q ~(p q) e) VVFF
Seale la matriz de: [p (q q)] q
a) VFVF 14. Halle la matriz de:
b) VVFF p ~ q
c) FFVV a) VVVV
d) FVFV b) FFFF
e) VVVV c) VFFV
d) FVVF
8. Si p # q ~ (p q) , halle los valores de: e) VFVV
(p # q) # p
a) FFVF 15. Seale el esquema al que corresponde la matriz
b) VVFV FVFV.
c) VFVF a) (p q) q
d) FVFV b) (q p) ~ q
e) FFFF c) (p q) ~ p
d) (p ~ q) p
9. Si p q ~ p q , halle la matriz de: e) (p ~ q) q
(p + q) + (p + ~q)
a) FFVF 16. Si el esquema no es V, seale el valor de cada
b) VVVF variable
c) FFFV (p q) q (r ~ s)
d) VFFV a) VFVFV
e) FVVF b) VVFFV
c) VVVFV
10. Sabiendo que: d) FVFVF
pqp~qypq~p~q e) VFVVV
Seale los valores de:
(p q) (p q) 17. Si el esquema (p q) (s r) es falso, hallar el
a) VVVV valor de p, q, r y s respectivamente:
b) FFVF a) VFFV
c) FFFV b) FVVF
d) VFVF c) VVFV
e) VVVF d) VVVF
e) VFVF
11. Si el esquema es F, seale el valor de cada
variable: 18. Si (p q) (s r) es falso, hallar el valor de p, q, r
~ (p q) [p (r q)] y s, respectivamente:
a) VVV a) VVVF
b) FFF b) FVFV
c) VFV c) VVFF
d) VVF d) VFVV
e) FFV e) FVVV

12. Si el esquema es F, seale el valor de cada 19. Sabiendo el valor verdadero de:
variable: [q (p ~ r)]~ (r s)
[(p q) (s p)] [(q r) (~ s t)] Entonces sealar el valor de p, q, r y s
a) VVVVV respectivamente:
b) FFVVF a) FVVF
c) FFFVF b) VVFV
d) FFFFF c) VVFF
e) FFVFF d) VVVF
e) FFFF
13. Si el esquema es V, diga el valor de las variables:

Prof. Widman Gutirrez Pag.16

 MATEMTICA

20. Si se sabe que: ( ) [(p q) r] s

* (p~ r) F ( ) r (s q)
* (r q) V ( ) (p r) ~ (r ~ s)
* (q t) F a) VFF
Hallar los valores de p, q, r y t respectivamente. b) VVV
a) VFFF c) FFF
b) VVFV d) FVV
c) FFFF e) VVF
d) VVFF
e) VVVV

21. Si el esquema (p q) (q r) es falso,

luego:
I. (p q) no es falso.
I. (q s) es verdadera.
III. (q p) es verdadera.
a) Slo I.b) I y II.
c) Todas.
d) Slo III.
e) N. A.
22. Determinar la T. V. de:
[(p q) ~ q] [(~ q p) p]
a) VVVV
b) FVVV
c) VFVF
d) VVVF
e) N. A.
23. De la no verdad de:
[(p q) (r ~ t)]
Determinar, respectivamente, los valores de las
siguientes frmulas:
( ) (r p) (~ r ~ t)
( ) (q r) (r t)
( ) p (r t)
a) FFF
b) FVV
c) VFF
d) FVF
e) VVF
24. Si se sabe que:
p ~ r es F
r q es V
q t es F
Determine los valores de verdad de p, q, r y t.
a) VVVV
b) VVFF
c) VFVF
d) FVFF
e) FFFF
25. Los valores de verdad de las proposiciones p,
q, r y s
son respectivamente V, F, F, V.
Obtener los valores de verdad de:

Prof. Widman Gutirrez Pag.17