UNIDAD I: CONOCEMOS LAS ÁREAS DE LA LÓGICA, COMO LA

APLICACIÓN DE LOS DIFERENTES SISTEMAS DE NUMERACIÓN Y USO DE

ESTRATEGIAS METODOLÓGICAS.

SESIÓN 01
PROPOSICIONES COMPUESTAS, CUANTIFICADORES; RELACIÓN ENTRE LA LÓGICA Y LOS CONJUNTOS.

APRENDIZAJES ESPERADOS:
 Analiza ejemplos sobre propiedades de la lógica proposicional en situaciones diversas.

TEMA GENERADOR:

Cuando asistía a una reunión, me presentaron a los señores Barbón, Lampio,

Cano y Rubio. Entre ellos hay un fotógrafo, un médico, un taxista y un contador. ¿Qué estrategia utilizarías para saber
De ellos recuerdo los siguientes datos: quién es quién?
1. El señor Barbón y el taxista son viejos amigos. ¿Cómo iniciarías a resolver, por el cuadro
2. El médico y el contador conocieron en esta reunión al señor Rubio. de doble entrada?
3. El señor Lampio ni el señor Cano saben conducir. ¿Es una solución gráfica, o matemática?
4. El médico y el señor Cano son compadres.
¿Quién es médico?

Fotógrafo Médico Taxista Contador

LA LÓGICA Barbón
Lampio
Es la disciplina que ayuda a determinar si Cano
los razonamientos son validos o no. Parte Rubio
de un conjunto de informaciones para
deducir otra. La información inicial recibe el
nombre de premisa y para el análisis se Interesante
considera verdadera, la que se deduce La lógica es una poderosa
recibe el nombre de conclusión. herramienta que nos permitirá
realizar razonamientos
 En efecto, la lógica nos permitirá resolver todos los problemas de la matemática de la correctos, arribar a
manera más ordenada, secuencial y justificada. conclusiones validas,
 Es que la matemática está construida a base de la lógica, utiliza un lenguaje lógico, de demostrar los teoremas; en
modo que para dominar la matemática solo hay que hacer las cosas de un modo lógico. fin, construir dentro de
 ¿Cuánto perdió el heladero? nuestra mente, un conjunto de
conocimientos conforme a las
¿Cuánto pierde?:
1

leyes que rigen a la materia,

Una señora compra helados por un valor de S/. 3 y paga con un billete de S/. 10. El heladero de modo que estos
Página

que no tenía cambio, va a la botica, cambia el billete en dos monedas de S/. 5. Cruza conocimientos sean el fiel
nuevamente la calle y cambia en la panadería una de las monedas de S/.5 en 5 monedas de reflejo de la realidad.
TABLAS DE VERDAD: ¿para que utilizamos las tablas de verdad?
S/.1 con lo cual consigue dar vuelto. Luego de algunos minutos el boticario le devuelve el
billete de S/. 10 soles, pues ¡era falso! Y el heladero cabizbajo le entrega un billete de S/. 10
verdadero, ¿Cuánto perdió el heladero?......................... Formador: Díaz Arce
p q p pq pq pq SEA LA PROPOSICIÓN:
V V F V V “Juan trabaja y estudia”
V F F V F
F V V F V La tabla de verdad lo podemos interpretar en la
F F V F V siguiente forma:
Negación Conjunción Disyunción Condicional
¿Trabaja? ¿Estudia? Juan trabaja y estudia

SI SI VERDAD (V)
 ACTIVIDAD 01
SI NO FALSA (F)
1. Los huevos de gallina y de pato. Las cestas contienen huevos de gallina, en otras de pato. Su número
está indicado en cada cesta: NO SI FALSA (F)

5 6 12 14 NO 23 NO 29 FALSA (F)

“Sí vendo esta cesta - meditaba el vendedor – me quedará el doble de huevos de gallina que de pato”.
¿Cuántos huevos son de gallina, cuántos de pato y a cuál de las cestas se refiere el vendedor?
2. Los valores de verdad de las proposiciones compuestas:
( p  q), (r  p) y (  p   s ) son: V, F y V, respectivamente. Determina el valor de verdad de
cada proposición compuesta.
a. p  (q  r )  ....... b. ( p  r )  (q  s)  ......
3. Si p es falsa, entonces p  q es:
a) Verdadera. c) Su valor depende de q.
b) Falsa. d) No se puede determinar.
4. Si p es verdadera, entonces, p  q es:
a) Verdadera. c) Su valor depende de q.
b) Falsa. d) No se puede determinar

CUANTIFICADOR

Es una palabra que indica cantidad y modifica a un sustantivo que representa un conjunto referencial o universal. Esta palabra
puede ser: todo(s), existe(n), alguno(s), ningún(os), etc.

FUNCIÓN PROPOSICIONAL. Es aquel enunciado que contiene una

Como puede verse, dependiendo del valor
variable y que tiene la propiedad de convertirse en V ó F para cierto valor
de la variable podemos obtener resultados
de la variable.
diferentes.
Ejemplos: P(x): x – 2 > 18; Q(x): x2 +4 = 16; R(x): “x es un número primo”

 Sea la función proposicional: P(x): x + 2 = 4, si x lo

reemplazamos por 3, el enunciado se transforma en una Si a una función proposicional le
proposición falsa. anteponemos la expresión “para todo x”,
 Existe otro método para obtener proposiciones a partir de una estaremos indicando el sentido universal de
función proposicional, en la cual ya no reemplazamos la variable dicha función proposicional obteniendo ahora
por una constante sino que decimos: Cuántos elementos una proposición lógica.
satisfacen el enunciado. Este nuevo método se llama
cuantificación.
Si tenemos una función proposicional:
P(x): x + 5 > 2 …….(no es proposición lógica); ahora le agregamos el cuantificador universal "∀". ∀𝑥: 𝑃(𝑥)
∀x: x + 5 > 2 ……(proposición lógica)

 Completa los siguientes enunciados con cuantificadores:

a) ………….….. peruano es valiente.
La negación del cuantificador
universal "∀" es el
b) ……………… múltiplos de 2 son múltiplos de 4. cuantificador existencial "∃"
2

c) ………….….. un número primo impar. y viceversa.

Página

d) ………….….. los chanchos vuelan.

e) ………….….. nacido en el departamento de la Libertad es poeta.

Formador: Díaz Arce

 Los cuantificadores son de dos clases:
(∀): es un cuantificador universal y es verdadero cuando se cumple para todo valor de una proposición
abierta..
(∃): es un cuantificador existencial y es verdadero cuando se cumple por lo menos para un valor de una
proposición abierta.

Observemos: Traducimos al lenguaje verbal Simbolizamos y escribimos el valor de

∀𝑥 ∈ ℤ: 𝑥 3 < 0 verdad de la proposición: “existe al menos
“para todo número entero, el cubo un número real cuyo cuadrado es igual a -4”
de un número es menor que cero” ∃𝑥 ∈ ℝ: 𝑥 2 = −4… (F)

 Escribe cuatro proposiciones cuantificadas verdaderas, ℚ

a partir de la figura de la derecha. ℤ
ℕ

∀ Cuantificador universal En forma general

1. Ejemplo: ∀𝑥/𝑝(𝑥)
Sea 𝐴 = 1, 3; 5; 7 y la proposición abierta 𝑝 𝑥 : 𝑥 2 + 2 > 𝑥
Que se puede dar la forma de proposición cerrada así: ∀𝑥 ∈ 𝐴/𝑥 2 + 2 > 𝑥
NOTA
 Que se lee: ………………………………………………………………………...
Basta que un valor de A no
 Luego podemos concluir que la proposición es??? ………………………….. satisfaga 𝑥 2 + 2 > 𝑥 para
2. Otro ejemplo: que la proposición sea falsa
Sea 𝐴 = 2; 4; 6 y la proposición abierta 𝑝 𝑥 : 𝑥 2 − 1 = 3
 Que se puede dar la forma de proposición cerrada: ………………………….
 Que se lee: …………………………………………………………………………
 Luego podemos concluir que la proposición es:…………………………….…
3. Otro ejemplo:
Sea la proposición abierta: 𝑥 : 𝑥 + 1 ≤ 0 y la cerrada: ∀𝑥 ∈ 𝑁 𝑥 + 1 ≤ 0
 Podemos concluir que:……………………………………………………………
∃ Cuantificador Existencial
4. Ejemplo:
Sea 𝐴 = 1, 2; 3; 4 y la proposición abierta 𝑝 𝑥 : 𝑥 + 3 ≥ 7 La negación de una
Que se puede transformar en proposición cerrada así: ∃𝑥 ∈ 𝐴/𝑥 + 3 ≥ 7 proposición donde interviene
 Que se lee: ………………………………………………………………………... la relación: < será: ≥ ; como
 Luego podemos concluir que la proposición es??? ………………………….. de > será: ≤; y de = será:
≠
5. Ejemplo: ∃𝑥 ∈ ℤ 𝑥 𝑒𝑠 𝑛𝑒𝑢𝑡𝑟𝑜 𝑒𝑛 𝑙𝑎 𝑠𝑢𝑚𝑎
 Luego podemos concluir que la proposición es??? …………………………..
6. Ejemplo: ∃𝑥 ∈ ℕ 𝑥 = 2
 Luego podemos concluir que la proposición es??? …………………………..
RELACIÓN ENTRE LA LÓGICA Y LOS CONJUNTOS. LOS ARGUMENTOS Y SUS ESTRUCTURAS.
LÓGICA DE CLASES.
Hemos visto anteriormente las diferentes formas de relacionar proposiciones Las proposiciones
mediante los conectivos lógicos. Ahora veremos o analizaremos la estructura interna categóricas típicas deben
de cada proposición, es decir, la relación existente entre el sujeto y el predicado. tener:
CUANTIFICADOR (Todos,
Proposición Categórica. ninguno, alguno).
Es un enunciado o proposición que afirma o niega una relación de inclusión o SUJETO(s)
exclusión, total o parcial entre conjuntos o clases (sujeto y predicado) CÓPULA (Verbo)
Representación gráfica mediante diagramas de Venn. PREDICADO.
3

a) Todos los estudiantes son honestos. H

Página

E El conjunto “E” está incluido

E H
totalmente en el conjunto “H”

C P
Formador: Díaz Arce
 b) Ningún carnívoro es pez.
C P El conjunto “C” está excluido
E T
c) Algunos estudiantes son trabajadores totalmente del conjunto “P”
E T x Los conjuntos “E” y “T” tienen
una inclusión parcial.

d) Algunas personas no son amables. P A

P A x El conjunto “P” está excluido
 Interpreta la representación grafica y enuncia parcialmente del conjunto “A”
una proposición para x
Sea 𝐴 = 𝑝𝑢𝑛𝑡𝑢𝑎𝑙𝑒𝑠 ; 𝑃 = 𝑝𝑒𝑟𝑢𝑎𝑛𝑜𝑠 y 𝑆 = 𝑠𝑖𝑛𝑐𝑒𝑟𝑜𝑠 ;

P S
A
x

 Resolvamos algunos problemas:

1. Si afirmamos: “todas las aves vuelan”, entonces: Resolución:
a. Algunas aves no vuelan. Todas las aves vuelan.
b. No hay aves que vuelan.
c. Todos los que vuelan son aves.
d. Ningún ave no vuela.
e. Ningún ave vuela.

2. Si afirmamos:
- NIngun vietnamita es americano Resolución:
- Muchos valientes son vietnamitas.
Entonces:
a. Todo valiente es no americano.
b. Ningun americano es valiente.
c. Muchos valientes mueren.
d. Todo americano no es valeinte.
e. Muchos valientes no son americanos.

TRABAJANDO EN EQUIPO

1. Cinthya va a una fiesta y su hermana Solange le presenta 4 amigos: Carlos, Bruno, Marcos y Renato, los
que tienen como ocupación: fotógrafo, comerciante, banquero y cantante. Pero no le dice quien es quien
y pide a Cinthya que diga la ocupación que le corresponde a cada uno. Para ayudarla, agrega estas
pistas:
a) Bruno converso con el banquero sobre una hipoteca.
b) El fotógrafo hizo las fotos del matrimonio de Carlos.
c) El cantante y Bruno son amigos pero nunca tuvieron trato de negocios.
d) Marcos y el cantante conocieron a Renato en la fiesta.

Analizando las pistas, ayuda a Cinthya a descubrir la ocupación de cada uno:

Marcos Carlos Renato Bruno
Banquero
Comerciante
Fotógrafo
Cantante
1. Si p es verdadera, entonces p  q es:
a) Verdadera. c) Su valor depende de q.
4

b) Falsa. d) No se puede determinar.

Página

2. Si p es falsa, entonces, q  p es:

a) Verdadera. c) Su valor depende de q.
b) Falsa. d) No se puede determinar

Formador: Díaz Arce

 3. Cuantifica las siguientes funciones proposicionales:
a) 𝑃 𝑥 : 𝑥 2 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑚𝑎𝑦𝑜𝑟 𝑞𝑢𝑒 𝑐𝑒𝑟𝑜. …………………………………………..
b) 𝑃 𝑦 : 𝑦 + 2 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑖𝑟𝑟𝑎𝑐𝑖𝑜𝑛𝑎𝑙. …………………………………………..
4. Completa las expresiones con: ∀𝑥, ∀𝑦, ∃𝑥 𝑦 ∃𝑦 para obtener proposiciones verdaderas:
a) ∀𝑥 ∈ ℝ … … ∈ ℝ/ 𝑥 2 + 1 𝑦 > 0
b) ∃𝑥 ∈ ℝ, … … ∈ ℝ/𝑥 𝑦 > 0
4
c) ∀𝑥 ∈ ℝ, … … ∈ ℝ: 𝑥 + 𝑦 ≥ 0
d) … … . ∈ ℝ, ∃𝑦 ∈ ℝ ∕ 2 = 𝑥 2 + 3 𝑦
5. Si afirmamos:
- Ningun filosofo es critico. Como veras hasta
ahora sólo hemos
- Ciertos filososfos son racionalistas.
recurrido al
Entonces:
razonamiento para
a) Algunos críticos son filososfos.
hallar la solución a los
b) Algunos racionalistas son acríticos. problemas. Continúa
c) Algunos críticos son irracionales. desarrollando tu ingenio
d) Algunos racionalistas son críticos. y habilidad.
e) Algunos críticos no son racionalistas.

AUTOEVALUACIÓN

1. Cuatro amigos: Tony, Rudy, Roberto y Martín, practicaban un curso diferente cada uno. Tony quiere
practicar álgebra en lugar de trigonometría, Rudy le pide prestado su libro de aritmética a Martín. Roberto
no sabe geometría. ¿Qué curso practica Rudy?. ¿Quién practica álgebra?

2. Juego lógico: Una profesora de Matemática divide a su sección de alumnos en dos grupos. Los serios,
que siempre responden con la verdad a cualquier pregunta; y los bromistas, que responden siempre con
engaños. La profesora, que conoce esta situación, preguntó al alumno X si era serio o bromista. Al no
escuchar la respuesta dada por X, preguntó a los alumnos Y y Z que se encontraban cerca de X sobre la
respuesta dada por X. Y respondió: “X dijo serio”; mientras que Z respondió: “X dijo ser bromista”.
 ¿Cómo son X, Y y Z? Discute las siguientes posibilidades con los demás colegas.
3. Escribe 4 proposiciones cuantificadas verdaderas, a partir de las siguientes expresiones:
a) Todos los números enteros son c) Todo Natural está contenido en los
Racionales. Racionales.
b) Existe algún Racional que es negativo d) Existe algún negativo que es Natural.
4. Si :
- Ningún hombre es inmortal.
- Todo racional es hombre.
Entonces:
a) Ningún racional es inmortal. d) Todo irracional es mortal.
b) Todo racional es inmortal. e) Ningún mortal es irracional.
c) Ningún irracional es inmortal.
5. Si algunos reptiles son lentos y los cocodrilos son reptiles. Entonces:
a) Ningún cocodrilo es lento. d) No todos los cocodrilos son reptiles.
b) Todos los cocodrilos no son lentos. e) No se puede afirmar que los cocodrilos no
c) Ningún cocodrilo no es lento. son lentos.

BIBLIOGRAFÍA

• GALDOS, Luis. (2001). Consultor Matemático: Aritmética. Editorial Cultural S.A. Tomo I.
•
5

GRUPO SANTILLANA. CLAVES. (2003) Editorial Santillana. Lima-Perú.

•
Página

GRUPO SANTILLANA (2007). Razonamiento Matemático. Editorial Santillana. Lima Perú.

• TIMOTEO, S (2007) Razonamiento Matemático S.XXI. Perú: San Marcos.

Formador: Díaz Arce