Anexo Del Paso 2 - Cálculo Proposicional e Inferencia PDF

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 unidad 1
Estudiante:
David Jiménez Hernández
Armando Moreno
Carlos Rubén Jojoa
Gabriela Silvana Botello
Elkin Andrés Castro
Grupo: 551105_9
Tutor:
Pedro Ruiz
Lógica matemática
Universidad Nacional Abierta y a Distancia- UNAD
16/03/2020
Escuela de Ciencias de la Educación – Lógica Matemática - 551105

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. (Proposición) (F)
o Buenos Aires es la capital de Argentina. (Proposición) (V)
o 2+3=5. (Proposición) (V)
o ¿qué día es hoy? (N.P)
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á. (Hay polución en Bogotá)
o 2+1=3. (2+1≠3)
o El verano de Villavicencio es cálido y soleado. (No es cierto que el verano de
Villavicencio es cálido y 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 (No es cierto que se han divisado tiburones en la costa)
b) p ∧ q (no está permitido nadar en la costa de Cartagena y se han divisado tiburones en la

costa)
c) p ∧ q (Está permitido nadar en la en la costa de Cartagena y se han divisado tiburones en la

costa)
d) p ∨ q (no está permitido nadar en la costa de Cartagena o se han divisado tiburones en 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:
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). p ∨ 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.
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, pero
las bayas del sendero están seguras. (p ∧ q) → r
c. 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 siempre nieva.
b. El manzano florecerá si el tiempo se mantiene cálido durante 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. Real
Madrid ganó 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, hace calor afuera si, y sólo si hace calor
afuera, te compras un helado

b) Para ganar la rifa es necesario y suficiente tener el número ganador. Para ganar
la rifa si, y sólo si es necesario y suficiente tener el número ganador
c) Ascenderás sólo si tienes contactos, y tienes contacto sólo si asciendes. Tienes

contacto sólo si asciendes si, y sólo si ascenderás sólo 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.
Recíproca: Si 2 es par, entonces es divisible por un entero.
Contrarecíproca: Si 2 no es par, entonces no es divisible por un entero.
Inversa: Si un entero no es par, entonces no es divisible por 2.
b. Voy a clases siempre que vaya a haber un control.

Recíproca: Siempre que vaya a haber un control voy a clases.
Contrarecíproca: No siempre que vaya a haber un control voy a clases.
Inversa: No voy a clases siempre que vaya a haber un control.
c. Cuando me acuesto tarde, es necesario que duerma hasta el mediodía.

Recíproca: que duerma hasta el mediodía, es necesario cuando me acuesto
tarde.
Contrarecíproca: que no duerma hasta el mediodía, no es necesario cuando me

acuesto tarde.
Inversa: Cuando no me acuesto tarde, no es necesario que duerma hasta el

mediodía.
d. Un entero positivo es primo sólo si no tiene otros divisores distintos de 1 y él mismo.

Recíproca: 1 y él mismo es primo sólo si no tiene otros divisores distintos de un
entero positivo.
Contrarecíproca: 1 y él mismo no es primo sólo si tiene otros divisores distintos

de un entero positivo.
Inversa: Un entero positivo no es primo sólo si tiene otros divisores distintos de

1 y él mismo.
10. Construir la tabla de verdad para:


a) p  q   q   p 

p q p→q p q p→ q ↔
V V V F F V V
V F F F V V F
F V V V F F F
F F V V V V V
b) r  s  q  s   q   r 
q r s [r ∧ s] →q q (s ∧ q) r → r ↔
V V V V V F F F V V
V V F F V F F F V V
V F V F V F F V V V
V F F F V F F V V V
F V V V F V V F F V
F V F F V V F F V V
F F V F V V V V V V
F F F F V V F V 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
b. P1: Si x es un número par, entonces x 2 es par

P2: x es un número par
2
C: x es par

c. P1 :  p  q  s
P2 :  p
C:𝒒 ∨ 𝒔
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 : ¬ (𝒑 ∨ 𝒒)
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.
Dominio: x estudiantes de la clase;

Otro dominio: x conjunto de todas las personas.
a) Alguien de tu clase habla inglés. 𝑷(𝒙) = ∃𝒙/𝒙 𝒉𝒂𝒃𝒍𝒂 𝒊𝒏𝒈𝒍é𝒔
b) Todos en tu clase son amigables. 𝑷(𝒙) = ∀𝒙/𝒙 𝒆𝒔 𝒂𝒎𝒊𝒈𝒂𝒃𝒍𝒆
c) Hay una persona en tu clase que no nació en Bogotá.

𝑷(𝒙) = ∃𝒙/𝒙 𝒏𝒐 𝒏𝒂𝒄𝒊ó 𝒆𝒏 𝒃𝒐𝒈𝒐𝒕á
d) Un estudiante de tu clase ha visto una película.

𝑷(𝒙) = ∃𝒙/𝒙 𝒉𝒂 𝒗𝒊𝒔𝒕𝒐 𝒖𝒏𝒂 𝒑𝒆𝒍í𝒄𝒖𝒍𝒂
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.
Sea el dominio x: conjunto de todas las personas
a) Nadie es perfecto. ~[∀𝒙; 𝑷(𝒙)] = ∃𝒙/~𝒑(𝒙)
b) No todo el mundo es perfecto. ~[∀𝒙; 𝑷(𝒙)] = ∃𝒙/~𝒑(𝒙)

c) Todos tus amigos son perfectos. ~[∀𝒙; 𝑷(𝒙)] = ∃𝒙/~𝒑(𝒙)
d) Cada uno de tus amigos es perfecto. ~[∃𝒙/𝒑(𝒙)] = ∀𝒙; 𝑷(𝒙)
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.

Introduciendo la variable x, de tal forma que nuestra frase se convierte en: “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).
No obstante, si estamos interesados en otras personas además de las de la clase,

tomamos la frase de forma ligeramente diferente y la podríamos expresar como:
“Hay una persona x que tiene como atributos que x es un estudiante de la
universidad y que x ha vivido en Cali”
En este caso, 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 x (S(x) Ʌ C(x)), ya que la frase hace referencia a una persona x que es
estudiante de tu universidad y que ha vivido en Cali.
b) Hay un estudiante de tu escuela que no habla ruso.

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).
No obstante, si estamos interesados en otras personas además de las de la escuela,

tomamos la frase de forma ligeramente diferente y la podríamos expresar como:

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

predicado S(x), << x es un estudiante de tu escuela>>. Nuestra solución se convierte
en x (S(x) Ʌ R(x)), ya que la frase hace referencia a una persona x que es
estudiante de tu escuela y que no habla ruso.
c) Un estudiante de tu escuela sabe Java, Prolog y C++.

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)).
No obstante, si estamos interesados en otras personas además de las de la escuela,

tomamos la frase de forma ligeramente diferente y la podríamos expresar como: “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++”

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)), ya que la frase hace referencia a una persona x que es
estudiante de tu escuela y que no habla ruso.
Trabajo colaborativo (valor de 45 puntos)
1. Responder los tres problemas iniciales dados en las 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?
R/. Al estar el agua en el segundo escalón de la escalera, indica que ya llevaría 100 cm
sumergido. Esto implicaría que en tres horas el barco estaría sumergido al 5° escalón, es
decir 250 cm.

• 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.
R/ El laboratorio de Thomas Edison fue prácticamente destruido por un incendio en
diciembre de 1914.Que se pensaba no iba arder, Por lo tanto, gran parte del trabajo de
Edison se destruyó esa noche, Aunque el laboratorio era de cemento.
Cuando Edison lo vio lo único que dijo fue: “este incendio es de gran valor, todos nuestros
errores se están quemando con el” Gracias a Dios, podemos empezar de nuevo. En aquel
momento tenía 67 años Sin embargo, cuando su hijo Charles encontró a Edison, Con su
cabello blanco ondeando en el viento 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?
R/. Para la anterior proposición los enunciados son de una categoría falsa, por tal razón el
reo será ahorcado.
2. Verifique, con tablas de verdad, que los siguientes condicionales son tautologías
(𝒑 ∧ 𝒒) → (𝒑 → 𝒒)

𝒑 𝒒 (𝒑 ∧ 𝒒) (𝒑 → 𝒒) (𝒑 ∧ 𝒒) → (𝒑 → 𝒒)
V V V V V
V F F F V
F V F V V
F F F V V
3. Utilice una tabla de verdad para verificar la ley distributiva:

𝒑 ∧ (𝒒 ∨ 𝒓) ≡ (𝒑 ∧ 𝒒) ∨ ( 𝒑 ∧ 𝒓)
𝒑 𝒒 𝒓 (𝒒 ∨ 𝒓) 𝒑 ∧ (𝒒 ∨ 𝒓) (𝒑 ∧ 𝒒) ( 𝒑 ∧ 𝒓) (𝒑 ∧ 𝒒) ∨ ( 𝒑 ∧ 𝒓)
V V V V V V V V
V V F V V V F V
V F V V V F 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
Podemos observar que se cumple la ley distributiva
4. ¿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 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.
((𝒑 → 𝒒) Ʌ 𝒑) → 𝒒

 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.
((𝒑 → 𝒒) Ʌ¬ 𝒒) → ¬ 𝒑
 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.
((𝒑 → 𝒒) Ʌ (𝒒 → 𝒓)) → (𝒒 → 𝒓)
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.
Asignamos un valor a cada proposición:
p = Si el reloj esta adelantada

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.

𝟏. 𝒑 → (𝒒 Ʌ 𝒓)
𝟐. 𝒔 → ¬ 𝒓
𝟑. 𝒔 𝑽 𝒕
𝟒. 𝒑
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
(𝒒 Ʌ 𝒓) → 𝒓
6. r: Aplicaremos el método Tollendo Tollens con 2 y 6: si 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.
(s→¬r)→¬s
7. ¬𝒔: 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.
𝑠 ∨ 𝑡¬𝑠𝑡
8. 𝒕: Como podemos ver la conclusión si es consecuencia lógica de las premisas previamente

dadas

Referencia
Cardona, S. (2010). Lógica matemática para ingeniería de sistemas y computación. Recuperado
de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/detail.action?docID=3199701
Domingo A. (2009). Lógica matemática. Junio 14 de 2014. De monografías. Recuperado
de http://www.monografias.com/trabajos-pdf3/logica-matematica/logica-matematica.pdf
Lewin, R. (2010). Teoría de conjuntos. Recuperado de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/detail.action?docID=3196933

Anexo Del Paso 2 - Cálculo Proposicional e Inferencia PDF

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Anexo Del Paso 2 - Cálculo Proposicional e Inferencia PDF

Cargado por

Copyright:

Formatos disponibles

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

Escuela: ECEDU Programa: Licenciatura en Matemáticas

David Jiménez Hernández

Carlos Rubén Jojoa

Gabriela Silvana Botello

Elkin Andrés Castro

Universidad Nacional Abierta y a Distancia- UNAD

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

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

3. Sean p y q los enunciados

a) q (No es cierto que se han divisado tiburones en la costa)

b) p ∧ q (no está permitido nadar en la costa de Cartagena y se han divisado tiburones en la

c) p ∧ q (Está permitido nadar en la en la costa de Cartagena y se han divisado tiburones en la

d) p ∨ q (no está permitido nadar en la costa de Cartagena o se han divisado tiburones en la

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). p ∨ q

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

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

6. Sean p, q y r los enunciados:

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

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

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

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

Contrarecíproca: Si 2 no es par, entonces no es divisible por un entero.

Inversa: Si un entero no es par, entonces no es divisible por 2.

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

Contrarecíproca: No siempre que vaya a haber un control voy a clases.

Inversa: No voy a clases siempre que vaya a haber un control.

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

Contrarecíproca: que no duerma hasta el mediodía, no es necesario cuando me

Inversa: Cuando no me acuesto tarde, no es necesario que duerma hasta el

d. Un entero positivo es primo sólo si no tiene otros divisores distintos de 1 y él mismo.

Contrarecíproca: 1 y él mismo no es primo sólo si tiene otros divisores distintos

Inversa: Un entero positivo no es primo sólo si tiene otros divisores distintos de

10. Construir la tabla de verdad para:

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

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

b. P1: Si x es un número par, entonces x 2 es par

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

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

Dominio: x estudiantes de la clase;

a) Alguien de tu clase habla inglés. 𝑷(𝒙) = ∃𝒙/𝒙 𝒉𝒂𝒃𝒍𝒂 𝒊𝒏𝒈𝒍é𝒔

b) Todos en tu clase son amigables. 𝑷(𝒙) = ∀𝒙/𝒙 𝒆𝒔 𝒂𝒎𝒊𝒈𝒂𝒃𝒍𝒆

c) Hay una persona en tu clase que no nació en Bogotá.

d) Un estudiante de tu clase ha visto una película.

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

Sea el dominio x: conjunto de todas las personas

a) Nadie es perfecto. ~[∀𝒙; 𝑷(𝒙)] = ∃𝒙/~𝒑(𝒙)

b) No todo el mundo es perfecto. ~[∀𝒙; 𝑷(𝒙)] = ∃𝒙/~𝒑(𝒙)

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

Introducimos el predicado C(x), que es el enunciado << x ha vivido en Cali>>. Si el

No obstante, si estamos interesados en otras personas además de las de la clase,

En este caso, el dominio para la variable x es todas las personas. Introducimos el

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

Introducimos el predicado R(x), que es el enunciado << x habla ruso >>. Si el

No obstante, si estamos interesados en otras personas además de las de la escuela,

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