Universidad Libre

Licenciatura en Español y Lenguas Extranjeras

Razonamiento Matemático A1
Pensadores matemáticos: Laura Sofía Rivera, Lina María Rivas, Andrés
Fontecha, Jasbleidy Almeciga, Yerly Carolina Rodriguez, Juliana Quijano
Bogotá D.C; sábado 21 de noviembre del 2020

SESIÓN CINCO

EL RAZONAMIENTO LÓGICO

Introducción

Nos reunimos el día jueves para socializar el taller que habíamos desarrollado de manera
individual, compartir nuestras experiencias y resolver las dudas del mismo. Nuestra reflexión
nos llevó a concluir que el taller lo entendimos claramente aunque en ocasiones, de manera
general, se complicó un poco el entender la parte de los paréntesis sin embargo, con los
ejercicios y ejemplos propuestos por el profesor en el taller se pudo entender el tema para
poder desarrollar las actividades en grupo.

ACTIVIDAD UNO

A continuación se dan 7 proposiciones, donde usted debe analizar el valor de verdad o

falsedad, o si se le puede asignar tal valor. Explique por qué.

Proposición ¿Se le puede asignar un valor de Explique su respuesta

verdad o de falsedad? (si se le
puede asignar) (no se le puede
asignar)

Hoy va a llover No se le puede asignar un valor de Esta proposición no es un dato

verdad fáctico, pues se basa en las
impresiones del ser humano desde
sus sentidos. Decir que hoy va a
llover es una simple suposición y
hasta que no suceda no podemos
decir que es verdad.

En la Universidad Libre se Si se le puede asignar de verdad Esta proposición se puede asignar

aprende mucho. el valor de verdad, sin embargo,
para ello es importante la opinión
 de los estudiantes para determinar
una respuesta veraz.

Mañana voy a ir al cine. No se le puede asignar un valor de Esta proposición requiere de

verdad conocer un antecedente para que se
determine si es falsa o verdadera.

La clase de Introducción al Si se le puede asignar un valor de Dependiendo opinión de cada

Pensamiento Matemático es verdad individuo o grupo de personas,
divertida estas pueden determinar si es
verdadero o falso

La lógica es fácil de entender Si se le puede asignar un valor de Dependiendo opinión de cada

verdad individuo o grupo de personas,
estas pueden determinar si es
verdadero o falso

El correo electrónico constituye Si se le puede asignar un valor de Esta proposición es verdadera

un medio de comunicación. verdad porque a través del correo
electrónico se puede dar un
proceso comunicativo.

2 + 7 = 10. No se le puede asignar un valor de Esta proposición es falsa porque

verdad según las matemáticas la suma de
ambos números nos da como
resultado 9 no 10.

ACTIVIDAD DOS

Construir las negaciones de las siguientes proposiciones:

• El departamento de Santander tiene un gobernador.

Escriba la negación: El departamento de Santander no tiene un gobernador

• El Sol no es una estrella.

Escriba la negación: El sol es una estrella

Alerta: Obviamente recordamos que la doble negación se transforma en afirmación.

 Veamos ahora la siguiente afirmación:

“Enrique Peñalosa será presidente en el año 2022”

¿¬p sería?

Escriba la negación: Es falso que Enrique Peñalosa será presidente en el año 2022

ACTIVIDAD TRES

Vea ahora las siguientes proposiciones. Decida cuál es el valor de verdad final de cada una.

Escriba el resultado.

1. V

2. F

3. F

4. F

ACTIVIDAD CUATRO

Aplique la tabla de verdad a las anteriores cuatro proposiciones (ejemplos), marcando el

resultado del valor de verdad en la última columna, así:

1) Está haciendo sol o es de noche.

Proposición 1 Conector Proposición 2 Valor de verdad

lógico

Es falso que esté haciendo sol O Es falso que es de noche ( ) Verdadero

( X ) Falso

Es falso que esté haciendo sol Y Es verdadero que es de noche ( ) Verdadero

 ( X ) Falso

Es verdadero que esté haciendo Y Es verdadero que es de noche ( X ) Verdadero

sol
( ) Falso

Es falso que esté haciendo sol O Es falso que es de noche ( ) Verdadero

( X ) Falso

Es verdadero que esté haciendo O Es falso que es de noche ( X ) Verdadero

sol
( ) Falso

Es verdadero que esté haciendo O Es verdadero que esté ( X ) Verdadero

sol haciendo sol
( ) Falso

2) Está feliz o está triste.

Proposición 1 Conector Proposición 2 Valor de verdad

lógico

Es falso que esté feliz O Es falso que esté triste ( ) Verdadero

( X ) Falso

Es falso que esté feliz O Es verdadero que es de noche ( X ) Verdadero

( ) Falso

Es verdadero que esté feliz O Es verdadero que es de noche ( X ) Verdadero

( ) Falso

Es verdadero que esté feliz O Es falso que es de noche ( X ) Verdadero

( ) Falso

3) Está corriendo o está lloviendo

 Proposición 1 Conector Proposición 2 Valor de verdad
lógico

Es falso que esté corriendo Y Es falso que esté lloviendo ( ) Verdadero

( X ) Falso

Es falso que esté corriendo Y Es verdadero que está ( ) Verdadero

lloviendo
( X ) Falso

Es verdadero que esté corriendo Y Es verdadero que está ( X ) Verdadero

lloviendo
( ) Falso

Es verdadero que esté corriendo Y Es falso que está lloviendo ( ) Verdadero

( X ) Falso

4) Hay sumas o hay divisiones.

Proposición 1 Conector Proposición 2 Valor de verdad

lógico

Es falso que hay sumas O Es falso que hay divisiones ( ) Verdadero

( X ) Falso

Es falso que hay sumas O Es verdadero que hay ( X ) Verdadero

divisiones
( ) Falso

Es verdadero que hay sumas Y Es verdadero que hay ( X ) Verdadero

divisiones
( ) Falso

Es verdadero que hay sumas O Es falso que hay divisiones ( X ) Verdadero

( ) Falso
Es falso que hay sumas Y Es falso que hay divisiones ( ) Verdadero

( X ) Falso

Es falso que hay sumas Y Es verdadero que hay ( ) Verdadero

divisiones
( X ) Falso

Es verdadero que hay sumas O Es verdadero que hay ( X ) Verdadero

divisiones
( ) Falso

Es verdadero que hay sumas Y Es falso que hay divisiones ( ) Verdadero

( X) Falso

ACTIVIDAD CINCO

Lea y busque realizar las soluciones cuando se le pida. Procure hacer los ejercicios por su
cuenta y luego compare con las soluciones. Evalúe las dificultades, sus sentimientos al
respecto y piense en cómo mejorar sus aspectos cognitivos.

A) Veamos este ejemplo :

En los polos el frío es intenso únicamente si los planetas giran en torno al sol.

Convenciones simbólicas:
p: en los polos el frío es intenso
q: los planetas giran en torno al sol
Formalización: p ⇒ q

Realice la formalización según lo siguiente:

Siempre que los herbívoros corren o el frío en los polos es intenso, los planetas giran en torno
al sol.

Convenciones simbólicas:
p: los herbívoros corren
q: el frío en los polos es intenso
r: los planetas giran en torno al sol
Formalización:
Solución: p ∨ q ⇒ r

B) Si tenemos los siguientes datos, escribamos el enunciado en palabras:

Convenciones simbólicas:
p: Juan es colombiano

q: Juan nació el 23 de febrero

r: Juan es pastuso

s: Juan es más bien bajo

Formalización:

q⇒p

r⇒s

q∨r

Por tanto p ∨ s

Enunciados según la formalización:

Si Juan nació el 23 de febrero, entonces Juan es colombiano

Si Juan es pastuso, entonces Juan es más bien bajo

Juan nació el 23 de febrero o es pastuso

Por tanto, Juan es colombiano o es más bien bajo

C) Lea el siguiente ejemplo:

Si es cierto que Aristóteles nació en Estagira y que fue tutor de Alejandro Magno y, además,
que si nació en Estagira era macedonio por su nacimiento, entonces era efectivamente
macedonio.

Convenciones simbólicas:

p: Aristóteles nació en Estagira

q: Aristóteles fue tutor de Alejandro Magno

r: Aristóteles era macedonio por su nacimiento

Formalización: (p ∧ q) ∧ (p ⇒ r) ⇒ r

Veamos cada una de las proposiciones:

(i) Si es cierto que Aristóteles nació en Estagira y que fue tutor de Alejandro Magno, se
convierte en:

p∧ q

(ii) si [Aristóteles] nació en Estagira [entonces] era macedonio por su nacimiento, se

convierte en:

p⇒r

Ojo: se colocaron paréntesis cuadrados y en rojo palabras adicionales para dejar bien claros
los enunciados.

(iii) Ahora se enlazan las dos anteriores, según lo exige el enunciado:

Si es cierto que Aristóteles nació en Estagira y que fue tutor de Alejandro Magno y, además,
que si nació en Estagira era macedonio por su nacimiento

Tenemos que:

(p∧ q) ∧ (p ⇒ r)

(iv) Finalmente, se termina la formalización del enunciado completo, teniendo en cuenta la

parte que falta:

Si es cierto que Aristóteles nació en Estagira y que fue tutor de Alejandro Magno y, además,
que si nació en Estagira era macedonio por su nacimiento, entonces era efectivamente
macedonio.

Era efectivamente macedonio= r

Se tiene:

(p∧ q) ∧ (p ⇒ r) ⇒ r

D) Realice la formalización del siguiente enunciado:

Un sólo proveedor no puede afectar los precios si el mercado es libre. Si un sólo proveedor
no puede afectar los precios, es que hay un gran número de proveedores. Es así que no hay un
gran número de proveedores; luego, no es libre el mercado.

Convenciones simbólicas:

p: Un sólo proveedor no puede afectar los precios

q: el mercado es libre

r: hay un gran número de proveedores

¬ q: el mercado no es libre

¬ r: no hay un gran número de proveedores

Formalización: p ⇒ q, p ⇒ r, ¬ r ⇒ ¬ q

E) Lea el siguiente ejemplo:

Si no hay subsidios del gobierno para la agricultura, hay controles sobre la agricultura. Si hay
controles sobre la agricultura, no hay depresión. Habrá depresión a no ser que haya
sobreproducción agrícola. Ahora bien, no hay sobreproducción. Por tanto, hay subsidios del
gobierno para la agricultura.

Convenciones simbólicas:

p: hay subsidios del gobierno para la agricultura

q: hay controles sobre la agricultura

r: hay depresión

s: hay sobreproducción agrícola

Formalización: ¬p ⇒ q, q ⇒ ¬r, r ∨ s, ¬s; por tanto p.

F) Realice la formalización

El ladrón debió entrar por la puerta, a menos que el robo se perpetrara desde dentro y uno de
los sirvientes estuviera implicado en él. Pero sólo podía entrar por la puerta si alguien le
descorría el cerrojo. Si alguien lo hizo, es que uno de los sirvientes estaba implicado en el
robo. Luego, seguro que algún sirviente ha estado implicado.

Convenciones simbólicas:

p: el ladrón debió entrar por la puerta

q: el robo se perpetró desde dentro

r: uno de los sirvientes estuvo implicado en el robo

s: alguien descorrió el cerrojo

Formalización: p v (q ^ r ), p ⇒s, s ⇒r ¬ r

Asigne el valor final de verdad o falsedad del enunciado teniendo en cuenta que:

p: el ladrón debió entrar por la puerta (F)

q: el robo se perpetró desde dentro (V)

r: uno de los sirvientes estuvo implicado en el robo (F)

s: alguien descorrió el cerrojo (F)

ACTIVIDAD SEIS

Construya la tabla de verdad correspondiente a la fórmula A ∧ ¬A

A CONECTOR -A VALOR DE VERDAD

V Y F F

F Y V F

Si usted siguió la tabla de verdad para la disyunción, concluirá que ambos resultados son:
Falsos

ACTIVIDADES EN GRUPO

8.1 Establezcan si los siguientes enunciados son equivalentes.

A. Juan desayuna con tostadas, y café o chocolate: p ∧ (q V r).

p: Juan desayuna con tostadas
q: café
r: chocolate

p q r qVr p ∧ (q V r)
V V V V V

B. Juan desayuna con tostadas y café, o con tostadas y chocolate: (p ∧ q) V (p ∧ r)

p: Juan desayuna con tostadas
q: café
r: chocolate

p q r (p ∧ q) (p ∧ r) (p ∧ q) V (p ∧
r)
V V V V V V
Al realizar la tabla de verdad con los respectivos equivalentes nos da como resultado que son
verdaderos y es por ello que podemos decir que ambos enunciados son equivalentes.

8.2 Formalicen en una fórmula lógica el siguiente enunciado:

La física cuántica describe la naturaleza a base de observables clásicos o a base de estados

abstractos, entonces nos permite representar las cosas intuitivamente o conservar la
causalidad.

Las convenciones simbólicas son:

p: la física cuántica describe la naturaleza a base de observables clásicos

q: la física cuántica describe la naturaleza a base de estados abstractos
r: la física cuántica nos permite representar las cosas intuitivamente
s: la física cuántica nos permite conservar la causalidad

-determinen las relaciones paso a paso.

-establezcan las relaciones entre los enunciados compuestos, para llegar a la fórmula final.
Narren en detalle la construcción GRUPAL de cada relación que hayan establecido.

1. Identificamos las premisas del enunciado que están representadas en las convenciones
simbólicas.
2. Seguido observamos que solo se encuentran 2 proposiciones explícitas en el enunciado
“p” y “q”.
3. Es así como nos damos cuenta que las convenciones “r” y “s” no están de manera explícita
en el enunciado y decidimos agregarlas utilizando diferentes conectores para unir las
proposiciones
4. Identificamos los conectores que unen cada una de las proposiciones
5. Dichos conectores corresponden a disyunción (o), condicional (entonces), conjunción (y)
6. Realizamos la fórmula lógica siguiendo el orden del enunciado y las convenciones dadas

(p ∧ q) => (r ∧ s)

p q r s (p ∧ (r ∧ s) (p ∧ q) => (r ∧
q) s)
V V V V V V V

8.3 Si p y r son proposiciones verdaderas y q es falsa, determinen el valor de verdad de:

a) [ ( p ∧ ∼ q ) v ∼ r ] ⇒ q = F
Se concluye que es falsa porque al realizar la tabla de verdad las proposiciones nos dan como
resultado Falso y se muestra a continuación:
 p q ∼q ∼r (p∧∼q (p∧∼q)v∼ [(p∧∼q)v∼r]
) r] ⇒q
V F V F V V F

b) [ (∼ r v q ) ∧ ( r v ∼ p) ] ⇔ ∼ r = V
Se concluye que es verdadera por que al realizar todo el proceso con las tablas de verdad el
resultado es Verdadero demostrado con la tabla a continuación:

∼r q r ∼ (∼ r v q (rv∼ [ (∼ r v q ) ∧ ( r v [ (∼ r v q ) ∧ ( r v ∼ p) ]
p ) p) ∼ p) ] ⇔∼r
F F V F F V F V

c) [ (∼ p ⇒ q ) ⇒ ∼ r ] v [ ∼ q ⇒r ] = V
Se determina como verdadera, después de haber realizado la tabla de verdad:

-p q -r -q (∼ p ⇒ q [ (∼ p ⇒ q ) ⇒ ∼ [∼q [ (∼ p ⇒ q ) ⇒ ∼ r ] v [ ∼ q
) r] ⇒r ] ⇒r ]
F F F V V F V V

8.4 Sean las proposiciones:

p: la computación es fácil
q: los ingenieros deben saber computación

Entonces, traduzca a lenguaje verbal las proposiciones siguientes y ¿cuál(es) a su juicio

representa(n) una expresión aceptable en el sentido cotidiano?

a) p ∧ q
La computación es fácil y los ingenieros deben saber computación

b) ∼ (p v q)
No debe ser fácil la computación o los ingenieros deben saber computación

c) ∼ (q v ∼p)
No debe ser que, los ingenieros deben saber computación o la computación no es fácil.

d) ∼ (p v ∼q)
No es cierto que la computación sea fácil o los ingenieros no deben saber de computación
e) p ⇒ q
Si la computación es fácil entonces los ingenieros deben saber computación.

¿Cuál(es) a su juicio representa(n) una expresión aceptable en el sentido cotidiano?

c) ∼ (q v ∼p)

Consideramos que la expresión aceptable en el sentido cotidiano es la C. No debe ser que, los
ingenieros deben saber computación o la computación no es fácil. Debido a que las otras
expresiones no representan la realidad que la computación sea fácil.

8.5 ¿Esta es una tautología o es una contradicción?

[(p ⇒ q) ∧ ~p] ⇒~q

p q ~p ~q (p ⇒ q) [(p ⇒ q) ∧ ~p] [(p ⇒ q) ∧ ~p] ⇒~q

V V F F V F V

F F V V V V V

Es una tautología, pues sin importar los valores de verdad que se establezcan para “p” y “q”
el resultado será Verdadero.

8.6 Determinen si el argumento es válido o inválido para el siguiente texto:

Si la locura por el juguete Furby continúa, entonces las muñecas Lala Loopsy seguirán siendo
populares. Las muñecas Barbie continúan siendo las favoritas o las muñecas Lala Loopsy
seguirán siendo populares. Las muñecas Barbie no siguen siendo las favoritas. Por lo tanto, la
locura por el juguete Furby no continúa.

Premisa 1: Si la locura por el juguete Furby continúa, entonces las muñecas Lala Loopsy
seguirán siendo populares.
Premisa 2: Las muñecas Barbie continúan siendo las favoritas o las muñecas Lala Loopsy
seguirán siendo populares.
Premisa 3: Las muñecas Barbie no siguen siendo las favoritas.
Premisa 4: Por lo tanto, la locura por el juguete Furby no continúa.

Las convenciones simbólicas son:

p: la locura por el juguete Furby continúa

q: las muñecas Lala Loopsy seguirán siendo populares
r: Las muñecas Barbie continúan siendo las favoritas
¬q: Las muñecas Barbie no siguen siendo las favoritas
¬p: La locura por el juguete Furby no continua

Lenguaje natural

Si la locura por el juguete Furby continúa, entonces las muñecas Lala Loopsy seguirán
siendo populares= p →q
Las muñecas Barbie continúan siendo las favoritas o las muñecas Lala Loopsy seguirán
siendo populares=rVq
Las muñecas Barbie no siguen siendo las favoritas. Por lo tanto, la locura por el juguete
Furby no continúa.=−q →−p

Lenguaje simbólico

( p → q) ∧(rVq ) ∧¿)
Tabla de verdad

p q r -p -q ( p → q) (rVq ) ¿) ( p → q) ∧(
rVq ) ( p → q) ∧(rVq ) ∧¿)

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

EL ARGUMENTO ES VALIDO EL RESULTADO ES UNA CONTINGENCIA

EL ARGUMENTO ES VALIDO EL RESULTADO ES UNA CONTINGENCIA

Establezcan las premisas.

p: la locura por el juguete Furby continúa

q: las muñecas Lala Loopsy seguirán siendo populares
r: Las muñecas Barbie continúan siendo las favoritas
¬q: Las muñecas Barbie no siguen siendo las favoritas
¬p: La locura por el juguete Furby no continua

Discutan y hagan un plan.

 PASAR LAS PREMISAS DEL ENUNCIADO A LENGUAJE NATURAL Y
LUEGO A LENGUAJE SIMBÓLICO

 Representar el lenguaje simbólico mediante una tabla de verdad

 Comprobar la validez