Sie sind auf Seite 1von 20

Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI

Escuela: ECEDU Programa: Licenciatura en Matemáticas


Curso: Lógica Matemática Código: 551105

UNIDAD 1 PASO 2

EJERCITACIÓN DE LA UNIDAD1

PRESENTADO POR:

MARISOL RAMIREZ CAICEDO

COD 1114821569

GRUPO

551105

PRESENTADO A

TUTOR: PEDRO JOSE RUIZ

UNIVERSIDAD NACIONALABIERTA Y ADISTANCIA

ESCUELA DE CIENCIAS DE LA EDUCACION

LICENCITURA EN MATEMATICAS

18 OCTUBRE 2019

Escuela de Ciencias de la Educación – Lógica Matemática - 551105


Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105

TALLER PRÁCTICO DE LA UNIDAD 1


LÓGICA MATEMÁTICA

Leer las siguientes situaciones particulares y establecer posibles


soluciones. En el transcurso de la actividad se darán las
herramientas necesarias para contestar las preguntas allí
planteadas.

Preguntas generadoras:

• Un buque que se encuentra anclado en un atracadero tiene fija a


unos de sus costados una escalera en la que la diferencia de altura
entre cada peldaño es de 50 cm. Si el agua está a nivel del segundo
escalón y la marea empieza a subir a razón de 50 cm por hora. ¿Al
nivel de qué escalón se encontrará el agua tres horas después?

• Al leer cada uno de los siguientes textos ¿Cuál sería el orden lógico
de los párrafos para tener un texto coherente?
a) Cuando Edison lo vio lo único que dijo fue:
b) Gracias a Dios, podemos empezar de nuevo
c) En aquel momento tenía 67 años
d) El laboratorio de Thomas Edison fue prácticamente destruido por
un incendio en diciembre de 1914
e) Que se pensaba no iba arder
f) Aunque el laboratorio era de cemento
g) Sin embargo, cuando su hijo Charles encontró a Edison
h) Con su cabello blanco ondeando en el viento
i) “este incendio es de gran valor, todos nuestros errores se están
quemando con el”
j) Por lo tanto, gran parte del trabajo de Edison se destruyó esa
noche

k) Tres semanas después del incendio Edison fabricó su primer


fonógrafo.

Escuela de Ciencias de la Educación – Lógica Matemática - 551105


Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105

• En Turquía se acostumbraba que los reos condenados a muerte


eligieran la forma de morir, para ello deberían de decir una
proposición. Si la proposición era verdadera lo decapitaban y si era
falsa lo ahorcaban. El día del juicio un reo judío dijo la siguiente
proposición: “Seré ahorcado” y continuó “Si me ahorcan van a
quebrantar la ley puesto que lo que he dicho es verdad, por lo
tanto, deberían de decapitarme; pero si me decapitan, también
van a quebrantar la ley puesto que lo que he dicho es falso”. ¿Qué
hacen con el judío, lo decapitan, lo ahorcan, lo dejan libre?

Ejercicios trabajo individual (valor 80 puntos)

1. ¿Cuáles de las siguientes frases son proposiciones? ¿Cuál es el


valor de verdad de aquellas que son proposiciones?
o Cali es la capital de Colombia.
o Buenos Aires es la capital de Argentina.
o 2+3=5.
o ¿qué día es hoy?

Las proposiciones son:

o Cali es la capital de Colombia.


o Buenos Aires es la capital de Argentina.
o 2+3=5.

Las proposiciones que tienen el valor de verdad son:

o Buenos Aires es la capital de Argentina.


o 2+3=5.

2. ¿Cuál es la negación de cada uno de los siguientes enunciados?


o Hoy es jueves. * hoy no es jueves

o No hay polución en Bogotá.

o 2+1=3. * 2+1 no es igual a 3

o El verano de Villavicencio es cálido y soleado.

Escuela de Ciencias de la Educación – Lógica Matemática - 551105


Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105

*el verano de Villavicencio no es cálido ni soleado

3. Sean p y q los enunciados


p: “Está permitido nadar en la
costa de Cartagena” q: “Se han divisado
tiburones cerca de la costa”

Exprese cada una de las siguientes proposiciones en lenguaje natural.

a) q b) p ∧ q c) p ∧ q d) p ∨ q

a) No se han divisado
tiburones cerca de la
costa
b) No está permitido
nadar en la costa de
Cartagena y se han
divisado tiburones
cerca de la costa.
c) Está permitido nadar
en la costa de
Cartagena y se han
divisado tiburones
cerca de la costa
d) No está permitido
nadar en la costa de
Cartagena o se han
divisado tiburones
cerca de la costa.

4. Sean p y q los enunciados p: “Estamos bajo cero” q: “Nieva” ,


escriba los siguientes enunciados utilizando p, q y conectivos
lógicos:

Escuela de Ciencias de la Educación – Lógica Matemática - 551105


Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105
a) Estamos bajo cero y nieva.

p∧q

b) Estamos bajo cero, pero no nieva.

p q

c) No estamos bajo cero y no nieva.

 p ∧ q

d) Bien estamos bajo cero o bien nieva (o ambas cosas).

Pvqvp↔q

5. Sean p y q los enunciados p: “Conduces a más de100 Km/h” q:


“Te multan por exceso de velocidad” , Escriba los siguientes
enunciados utilizando p, q y conectivos lógicos:

a. No conduces a más de 100 Km/h.


p

b. Conduces a más de 100 Km/h, pero no te multan por exceso de


velocidad.

Pq

c. Te multarán por exceso de velocidad si conduces a más de 100 Km/h.


q → p

d. Si no conduces a más de 100 Km/h no te multarán por exceso de


velocidad.

→ pq

e. Conducir a más de 100 Km/h es suficiente para que te multen por


exceso de velocidad.

Escuela de Ciencias de la Educación – Lógica Matemática - 551105


Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105

P → q

6. Sean p, q y r los enunciados:

p: “Se han visto osos pardos por la zona” q: “Es seguro caminar por el
sendero” r: “Las bayas del sendero están seguras”. Exprese los siguientes
enunciados utilizando p, q, r y conectivos lógicos:

a. Las bayas del sendero están seguras, pero no se han visto


osos pardos por la zona.

rp

b. No se han visto osos pardos por la zona y es seguro caminar


por el sendero

p ∧ q

c. es seguro caminar por el sendero, pero las bayas del


sendero están seguras.

q→r

d. Si las bayas del sendero están seguras, es seguro caminar


por el sendero si, y sólo si, no se han visto osos pardos por
la zona.

→ r →q ↔  p

7. Escriba cada uno de los siguientes enunciados en la forma “si p,


entonces q”.

a. Nieva siempre que el viento sopla del noreste.

Si el viento sopla del noreste, entonces nieva

b. El manzano florecerá si el tiempo se mantiene cálido durante

Escuela de Ciencias de la Educación – Lógica Matemática - 551105


Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105
una semana.

Si el tiempo se mantiene cálido durante una semana,


Entonces el manzano florecerá.

c. Que el Real Madrid gane el campeonato implica que venció


al Barcelona.

Si el Real Madrid gana el campeonato entonces venció al


Barcelona.

8. Escriba cada uno de los siguientes enunciados en la forma “p si, y


sólo si q”.

a) Si hace calor afuera, te compras un helado, y si te compras


un helado, hace calor afuera.

Si te compras un helado y solo si hace calor afuera.

b) Para ganar la rifa es necesario y suficiente tener el número


ganador.

Si para ganar la rifa es necesario si, y solo si tener el


número ganador

c) Ascenderás sólo si tienes contactos, y tienes contacto sólo si


asciendes.

Si asciendes si, y solo si tienes contactos.

9. Enuncie la recíproca, la contrarrecíproca y la inversa de cada uno


de los siguientes condicionales.
a. Si un entero es par, entonces es divisible por 2.

Reciproca

Si es divisible por 2 entonces un entero es par

Contrarrecíproca

Escuela de Ciencias de la Educación – Lógica Matemática - 551105


Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105

Si no es divisible por 2 entonces no es un entero, no es


par

Inversa

No es un entero, no es par entonces no es divisible por 2

b. Voy a clases siempre que vaya a haber un control.

Reciproca

Si siempre que vaya haber un control entonces voy a


clases

Contrarrecíproca

No siempre que vaya haber un control entonces no voy a


clases

Inversa

No voy a clases entonces no siempre va haber un control

c. Cuando me acuesto tarde, es necesario que duerma hasta el


mediodía.

Reciproca

Si es necesario que duerma hasta el mediodía entonces


me acuesto tarde

Contrarreciproca

No es necesario que duerma hasta el mediodía entonces


no me acuesto tarde

Inversa

No me acuesto tarde entonces no es necesario que


duerma hasta el mediodía

Escuela de Ciencias de la Educación – Lógica Matemática - 551105


Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105

d. Un entero positivo es primo sólo si no tiene otros divisores


distintos de 1 y él mismo.

Reciproca

Si tiene otros divisores distintos de 1 y el mismo


entonces
Es un entero positivo es primo.

Contrarreciproca

No tienen otros divisores distintos de 1 y el mismo


entonces no es un entero positivo no es primo.

Inversa

No es un entero positivo no es primo entonces no


tienen divisores distintos de 1 y el mismo.

10. Construir la tabla de verdad para:


a) p → q  ( q →  p)

p q p q p→q q→ p p → q  ( q →  p)
V V F F V V V
V F F V F F V
F F V V V V V
F V V F V V V

b) r  s → q  (s   q) →  r 

Escuela de Ciencias de la Educación – Lógica Matemática - 551105


Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105

q r s q r r  s [𝑟 ∧ 𝑠] (𝑠 ∧ [(𝑠 ∧ ¬q) [𝑟 ∧ 𝑠] → 𝑞 ↔ [(𝑠 ∧


→q ¬q) → ¬𝑟] ¬q) → ¬𝑟]
V V V F F V V F V V
V V F F F F V F V V
V F V F V F V F V V
V F F F V F V F V V
F V V V F V F V F V
F V F V F F V F V V
F F V V V F V V V V
F F F V V F V F V V

c) p → (q → r)

P Q r ¬p (q → r ) p → (q →
r)
V V V F V V
V V F F F V
V F V F V V
V F F F V V
F V V V V V
F V F V F F
F F V V V V
F F F V V V

11. Utilizando el modus ponendus ponens, llegue a la conclusión C


a. P1: Si hoy es domingo, entonces hay futbol
P2: Hoy es domingo
C: hay futbol
2
b. P1: Si x es un número para, entonces x es par
P2: x es un número par
2
C: x es par

c. P1 : − p → q  s

Escuela de Ciencias de la Educación – Lógica Matemática - 551105


Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105

P2 : − p
C:qvs
12. Utilizando el modus tollendo tollens, llegue a la conclusión C

a. P1 : Si estoy preparado profesionalmente, entonces triunfaré en


mis negocios.
P2 : Fracasé en los negocios
C : No estoy preparado profesionalmente
b. P1 : S → t
P2 : (t )
C : s
c. P1 : p  q → r
P2 : (r )
C : p
13. Traduzca de dos formas cada una de las siguientes frases a
expresiones lógicas utilizando funciones proposicionales,
cuantificadores y conectivos lógicos. En primer lugar, el dominio
consistirá en los estudiantes de tu clase, y en segundo lugar, será el

Conjunto de todas las personas.

a) Alguien de tu clase habla inglés. x (Ax→ Ix)


b) Todos en tu clase son amigables. x (Ax→ Fx)
c) Hay una persona en tu clase que no nació en Bogotá. x (Ax→
x)
d) Un estudiante de tu clase ha visto una película. x (Ax→ Ix)

14. Traduzca cada una de las siguientes frases a expresiones lógicas


utilizando funciones proposicionales, cuantificadores y conectivos
lógicos. El dominio es el conjunto de todas las personas.

a) Nadie es perfecto. x (Ex→Px)

Escuela de Ciencias de la Educación – Lógica Matemática - 551105


Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105
b) No todo el mundo es perfecto. x (Ax→ Px)
c) Todos tus amigos son perfectos. x (Ax→Px)
d) Cada uno de tus amigos es perfecto. x (Ax→Px)

15. Traduzca cada una de las siguientes frases a expresiones lógicas


de tres formas diferentes, variando el dominio y utilizando funciones
proposicionales con una y con dos variables.

a) Un estudiante de tu universidad ha vivido en Cali.

“Hay una persona x que tiene como atributos que x es un

estudiante de la universidad y que x ha vivido en Cali”

Un estudiante x de tu universidad que tiene como atributo que


x ha vivido en Cali Introducimos el predicado C(x), que es el
enunciado ( x ha vivido en Cali). Si el dominio para x consiste
en el estudiante de tu universidad, se puede traducir la primera
frase como x C(x).

El dominio para la variable x es todas las personas.


Introducimos el predicado S(x), “x es un estudiante de tu
universidad”. Nuestra solución se convierte en
n x (S(x) Ʌ C(x))

b) Hay un estudiante de tu escuela que no habla ruso.


Hay una persona x que tiene como atributos que x es un
estudiante de tu escuela y que x no habla ruso

Un estudiante x de tu escuela que tiene como atributo que x no


habla ruso” Introducimos el predicado R(x), que es el enunciado
( x habla ruso ). Si el dominio para x consiste en el estudiante
de tu escuela, se puede traducir la primera frase como x
¬R(x).

El dominio para la variable x es todas las personas.


Introducimos el predicado S(x), (x es un estudiante de tu
escuela). Nuestra solución se convierte en x (S(x) Ʌ R(x))

Escuela de Ciencias de la Educación – Lógica Matemática - 551105


Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105
c) Un estudiante de tu escuela sabe Java, Prolog y C++.

Hay una persona x que tiene como atributos que x es un


estudiante de tu escuela y que x sabe java, x sabe prlog y x
sabe C++”

Un estudiante x de tu escuela que tiene como atributo que x


sabe java, x sabe prlog y x sabe C++” Introducimos el
predicado J(x), que es el enunciado (x sabe java ), P(x), que es
el enunciado ( x sabe prolog ) y C(x), que es el enunciado ( x
sabe C++). Si el dominio para x consiste en el estudiante de tu
escuela, se puede traducir la primera frase como x (J(x) Ʌ
P(x) Ʌ C(x)).

El dominio para la variable x es todas las personas.


Introducimos el predicado S(x), (x es un estudiante de tu
escuela). Nuestra solución se convierte en x (S(x) Ʌ (J(x) Ʌ
P(x) Ʌ C(x))

Trabajo colaborativo

1. Responder los tres problemas iniciales dados en las preguntas


generadoras

Preguntas generadoras
• Un buque que se encuentra anclado en un atracadero tiene fija
a unos de sus costados una escalera en la que la diferencia de
altura entre cada peldaño es de 50 cm. Si el agua está a nivel del
segundo escalón y la marea empieza a subir a razón de 50 cm por
hora. ¿Al nivel de qué escalón se encontrará el agua tres horas
después?

Escuela de Ciencias de la Educación – Lógica Matemática - 551105


Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105

Respuesta

El Buque tiene densidad menor que el agua, porque está lleno no


solamente de hierro, sino de aire y por ende este tiene la
posibilidad de flotar en ella, por esta razón se deduce que siempre
el agua estará al nivel del segundo peldaño de la escalera, ya que
si aumenta la cantidad de agua, o sube la marea, el barco subirá
con la superficie del agua, lo que en conclusión podemos afirmar
que después de tres horas, el nivel del escalón será el mismo. Pero
si el ancla toca el suelo marino y se entierra al subir la marea
después de 3 horas el agua se encontrará al nivel del 5 escalón.

• Al leer cada uno de los siguientes textos ¿Cuál sería el orden


lógico de los párrafos para tener un texto coherente?
a) Cuando Edison lo vio lo único que dijo fue:
b) Gracias a Dios, podemos empezar de nuevo
c) En aquel momento tenía 67 años
d) El laboratorio de Thomas Edison fue prácticamente destruido
por un incendio en diciembre de 1914
e) Que se pensaba no iba arder
f) Aunque el laboratorio era de cemento
g) Sin embargo, cuando su hijo Charles encontró a Edison
h) Con su cabello blanco ondeando en el viento
i) “este incendio es de gran valor, todos nuestros errores se están
quemando con el”
j) Por lo tanto, gran parte del trabajo de Edison se destruyó esa
noche

Escuela de Ciencias de la Educación – Lógica Matemática - 551105


Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105
k) Tres semanas después del incendio Edison fabricó su primer
fonógrafo.

Respuesta
• El orden lógico de estos párrafos serían los siguientes:
d) El laboratorio de Thomas Edison fue prácticamente destruido
por un incendio en diciembre de 1914
f) Aunque el laboratorio era de cemento
e) Que se pensaba no iba arder
j) Por lo tanto gran parte del trabajo de Edison se destruyó esa
noche
g) Sin embargo, cuando su hijo Charles encontró a Edison
c) En aquel momento tenía 67 años
h) Con su cabello blanco ondeando en el viento
a) Cuando Edison lo vio lo único que dijo fue:
i) “este incendio es de gran valor, todos nuestros errores se están
quemando con el”
b) Gracias a Dios, podemos empezar de nuevo
k) Tres semanas después del incendio Edison fabricó su primer
fonógrafo.

El laboratorio de Thomas Edison fue prácticamente destruido por


un incendio en diciembre de 1914. Aunque el laboratorio era de
cemento, que se pensaba no iba arder, Por lo tanto gran parte del
trabajo de Edison se destruyó esa noche. Sin embargo, cuando su
hijo Charles encontró a Edison. En aquel momento tenía 67 años,
Con su cabello blanco ondeando en el viento, Cuando Edison lo vio
lo único que dijo fue: “este incendio es de gran valor, todos
nuestros errores se están quemando con él”. Gracias a Dios,

Escuela de Ciencias de la Educación – Lógica Matemática - 551105


Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105
podemos empezar de nuevo. Tres semanas después del incendio
Edison fabricó su primer fonógrafo

*En Turquía se acostumbraba que los reos condenados a muerte


eligieran la forma de morir, para ello deberían de decir una
proposición. Si la proposición era verdadera lo decapitaban y si era
falsa lo ahorcaban. El día del juicio un reo judío dijo la siguiente
proposición: “Seré ahorcado” y continuó “Si me ahorcan van a
quebrantar la ley puesto que lo que he dicho es verdad, por lo
tanto, deberían de decapitarme; pero si me decapitan, también
van a quebrantar la ley puesto que lo que he dicho es falso”. ¿Qué
hacen con el judío, lo decapitan, lo ahorcan, lo dejan libre?

Respuesta
Lo ahorcan, porque al contradecirse miente, pues pasa que en la
vida real cuando alguien se contradice, no hay fundamentos, por
tanto, la información no se toma como verdadera. El reo se
contradijo, usando la parábola para distorsionar la información con
el fin que el receptor se confundiera, su razón era engañar, por
eso termina ahorcado.
2. Verifique, con tablas de verdad, que los siguientes condicionales
son tautologías
(p ∧ q) → (p → q)

p q p∧q (p → q) (p ∧ q) → (p → q)

v v v v v
v F F F V
F V F V V

Escuela de Ciencias de la Educación – Lógica Matemática - 551105


Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105
F F F V V

Teniendo en cuenta que: Una tautología es una fórmula cuyo valor


de verdad es el mismo para todas las interpretaciones posibles.
Por lo tanto, (𝑝 ∧ 𝑞) y (𝑝 → 𝑞) no son tautologías. En cambio, (𝑝 Ʌ
𝑞) → (𝑝 → 𝑞) si es una Tautología.

3. Utilice una tabla de verdad para verificar la ley distributiva:

p ∧ (q ∨ r) ≡ (p ∧ q) ∨ ( p ∧ r)

P q r (q ∨ r) (p ∧ q) ( p ∧ r) p ∧ (q ∨ r) (p ∧ q) ∨ ( p ∧ r)

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

Se puede observar que no se cumple la ley distributiva en este ejercicio,


ya que:
𝑝 Ʌ(𝑝 𝑉 𝑟) ≠ (𝑝 Ʌ 𝑞)𝑉(𝑝 Ʌ 𝑟)

3. Qué reglas de inferencia se utilizan en las siguientes deducciones?

• Alicia estudia matemáticas. Por tanto, Alicia estudia o bien


matemáticas o bien ingeniería.

Regla de la adición, ya que tenemos una proposición


verdadera entonces podemos concluir que las otras dos

Escuela de Ciencias de la Educación – Lógica Matemática - 551105


Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105
proposiciones son verdaderas
𝑝 → (𝑝 𝑉 𝑞)

• Henry estudia matemáticas e ingeniería. Por tanto, Henry


estudia matemáticas.

Regla de la simplificación, ya que tenemos una conjunción que es


verdadera entonces cualquiera de las proposiciones que la componen es
verdadera podemos concluir que la primera proposición es verdadera o
la segunda es verdadera
(𝑝 Ʌ 𝑞) → 𝑝 ; (𝑝 Ʌ 𝑞) → 𝑞

• Si llueve, se cierra la piscina. Llueve; por tanto, está cerrada.

Regla del Ponendo Ponens, ya que tenemos una implicación


y sabemos que el primer término es verdadero, entonces
podemos concluir el segundo término. ((𝑝 → 𝑞) Ʌ 𝑝) → q

• Si nieva hoy, se cerrará la universidad. La universidad no


está cerrada hoy. Por tanto, no nieva hoy.

Regla del Tollendo Tollens, ya que sabemos que tenemos una


implicación y sabemos que el primer término es verdadero y su segundo
término o conclusión es falso, entonces podemos concluir la negación
del primero.
((𝑝 → 𝑞) Ʌ¬ 𝑞) → ¬p

• Si voy a nadar, entonces estaré al sol demasiado tiempo. Si


estoy al sol demasiado tiempo, me quemaré. Por tanto, si
voy a nadar me quemaré.

Regla de la Transitividad de la implicación, ya que si tenemos dos


implicaciones unidas por una conjunción y donde el segundo término
de la primera implicación y el primer término de la segunda implicación
son los mismos, entonces podemos concluir con la implicación del
primer término de la primera implicación con el último término de la
segunda implicación, es decir como si hiciéramos un puente.

Escuela de Ciencias de la Educación – Lógica Matemática - 551105


Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105
((𝑝 → 𝑞) Ʌ (𝑞 → 𝑟)) → (𝑞 → 𝑟)

5. Demuestre que la conclusión es consecuencia lógica de las premisas


dadas.
Si el reloj está adelantado, entonces Juan llegó antes de la diez y vio
partir el coche de Andrés. Si Andrés dice la verdad, entonces Juan no
vio partir el coche de Andrés. O Andrés dice la verdad o estaba en el
edificio en el momento del crimen. El reloj está adelantado. Por lo tanto,
Andrés estaba en el edificio en el momento del crimen.

Se le asigna un valor a cada proposición:


p = Si el reloj esta adelantado
q = Juan llegó antes de las diez
r = Vio partir el coche Andrés
s = Andrés dice la verdad
t = Estaba en el edificio en el momento del crimen

Demostrando que la conclusión es consecuencia lógica de las premisas


dadas.
1. 𝒑 → (𝒒 Ʌ 𝒓)
2. 𝒔 → ¬𝒓
3. 𝒔 𝑽 𝒕
4. 𝒑

Aplicando el método Ponendo Ponens con 1 y 4: si tenemos una


implicación y sabemos que el primer término es verdadero, entonces
podemos concluir el segundo término.

( 𝑝 → (𝑞 Ʌ 𝑟)) → (𝑞 Ʌ 𝑟)

(𝒒 Ʌ 𝒓): Aplicando el método de la simplificación, ya que tenemos una


conjunción que es verdadera entonces cualquiera de las proposiciones que
la componen es verdadera podemos concluir que la primera proposición
es verdadera o la segunda es verdadera

(𝑞 Ʌ 𝑟) → 𝒓:

Aplicaremos el método Tollendo Tollens con 2 y 6: si sabemos que

Escuela de Ciencias de la Educación – Lógica Matemática - 551105


Universidad Nacional Abierta y a Distancia – UNAD - Vicerrectoría Académica y de Investigación - VIACI
Escuela: ECEDU Programa: Licenciatura en Matemáticas
Curso: Lógica Matemática Código: 551105
tenemos una implicación y sabemos que el primer término es verdadero
y su segundo término o conclusión es falso, entonces podemos concluir la
negación del primero.

(𝑠 → ¬𝑟) → ¬𝑠 :

Aplicando el método del silogismo disyuntivo con 3 y 7: si una disyunción


exclusiva, de manera que los dos miembros no pueden ser
simultáneamente verdaderos, ni simultáneamente falsos.

𝑠 𝑉 𝑡 ¬𝑠 𝑡

𝒕: Como podemos ver la conclusión si es consecuencia lógica de las


premisas previamente dadas.

Escuela de Ciencias de la Educación – Lógica Matemática - 551105

Das könnte Ihnen auch gefallen