UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LOGICA MATEMATICA
(13th Sem-Modulo II)

UNIDAD 1: Logica de enunciados o de

proposiciónes

Actividad 1

“Introducción a los lenguajes formales”

Jesús González Rivera

Facilitador: Rafael Pacheco Espinosa

Octubre 3 de 2022
Actividad 1. Foro introducción a los lenguajes formales
Del español a lo formal y asignaciones de verdad

Instrucciones: De los planteamientos que se presentan, resuelve cada uno de ellos

desarrollando tus conclusiones dentro del foro.

1. Da cinco enunciados en español junto con sus traducciones al lenguaje formal. Los
enunciados se deberán escoger de manera que tengan estructura interesante y cada
traducción deberá tener contener 15 o más caracteres.

Proposiciones

1. Las matematicas son difíciles y laboriosas, pero si estudias no dejan de ser difíciles pero
se hacen muy interesantes

A1. Las matematicas son difíciles

A2. Las matematicas son laboriosas
A3. Estudias las matematicas
A4 Las matematicas son muy interesantes
A5. Las matematicas son una pesadilla

((A1^A2) ^A3 → A4)˅(¬A3→A5)

2. Adquiri un carro nuevo, me ha dado muy buen servicio, el automóvil es muy comodo y
su funcionamiento es de alta calidad, si sigo las instrucciones de mantenimiento el jetta
me dara un muy buen servicio por largo tiempo

A1. El automóvil nuevo me ha dado un buen servicio

A2. El automóvil es muy comodo y su funcionamiento de alta calidad
A3. He seguido las instrucciones de mantenimiento
A4. El automóvil dara un servicio de calidad y muy duradero
A5. El automóvil se deteriorara muy pronto

(((A1^A2)^A3)→A4)˅(¬A3→A5)

3. Fumar es muy malo y es altamente adictivo, causa varios síntomas todos en deterioro de
la salud, si fumas para empezar tienes bajo rendimiento de trabajo diario, también es
causa de eficema pulmonar, además causa impotencia sexual y para el colmo de todo se
reduce la esperanza de vida de las personas

A1. Fumar es muy malo

A2. Fumar es adictivo
A3. Si fumas Se deteriora la salud
A4. Baja el rendimiento de trabajo diario de las personas
A5. Causa eficema pulmonar
A6. Causa impotencia sexual
A7. Se reduce la esperanza de vida de las personas

((((A1^A2)→A3)^(A4˅A5˅A6))→A7)˅(¬A3→(¬A7))

4. La cargas de trabajo Semestrales en la docencia son muy altas, si haces un buen plan de
trabajo previo, todas las actividades podrán ser cubiertas a tiempo y el proceso de
aprendizaje será de muy buen nivel.

A1. La cargas de trabajo Semestrales en la docencia son muy altas

A2. Hacer un buen plan de trabajo previo
A3. Todas las actividades podrán ser cubiertas a tiempo
A4. El proceso de aprendizaje sera de muy buen nivel

(A1^A2→A3^A4)˅(¬A2→(¬A3)→(¬A4))

5. En las estrategias Gerenciales, la información estadística es muy importante pues te

describe el comportamiento antecedente de los procesos en la ingeniería o la
administración, también el análisis inferencial te permite suponer el comportamiento de
estos en un todo o bien en el futuro, todo este análisis hara que las administraciones en
cualquiera de las organizaciones tomen las decisiones mas apropiadas para el bien
funcionamiento de estas.

A1. tomar información estadística es muy importante

 A2. Se describe el comportamiento antecedente de los procesos
A3. Realizar el análisis inferencial
A4. Estimar el comportamiento futuro o total de los procesos en ingeniería o
administración.
A5. Las administraciones tomaran las decisiones correctas
A6. El funcionamiento apropiado de las organizaciones

((A1^A2)^A3→A4)→(A5^A6)

2. Cada uno de los siguientes pasajes contiene un solo argumento. Usa las letras
"𝑃" y "𝐶", identifica las premisas y la conclusión de cada argumento, escribe
primero las premisas y por último la conclusión. Enumerar las premisas en el
orden en que tengan más sentido y escribir las dos premisas y la conclusión en
forma de oraciones separadas. Las palabras indicadoras se pueden eliminar una
vez que las conclusiones se han etiquetado adecuadamente.

a) Dado que el bien, de acuerdo con Platón, es lo que promueve los intereses reales de la
persona, se deduce que en un caso determinado cuando el bien se conoce, los
hombres buscarán esto.

Resp.
P: el bien de acuerdo a Platon, promueve interés real de las personas
P: los hombres busca intereses reales
C: los hombres buscan el bien cuando lo conocen

b) A medida que el rechazo o la perversión de la justicia por las sentencias de los

tribunales, así como en cualquier otra forma, es con la razón y declarado uno de las
justas causas de la guerra, se sigue que el poder judicial federal debe tener
conocimiento de todas las causas en que los ciudadanos de otros países se refiere.

Resp.
P: Cuando el rechazo o la perversión de la justicia por las sentencias de los tribunales
P: con una razón y declara una de las justas causas de la guerra
C: el poder judicial debe de tener y entender todas las causas que todos los ciudadanos
de cualquier país tengan.

c) El hecho de que nunca hubo un puente de tierra entre Australia y el continente asiático
se evidencia por el hecho de que las especies animales en las dos áreas son muy
diferentes. Mamíferos placentarios asiáticos y mamíferos marsupiales australianos no
han estado en contacto en los últimos millones de años.

Resp:
P: Nunca ha existido un puente geográfico entre Australia y el continente asiático
P: Las especies animales entre Australia y el continente Asiatico son muy diferentes.
C: por la separación geográfica de los continentes Australiano y Asiatico los animales
de uno y de otro continente nunca han estado en contacto, desde hace millones de
anos.
 3. Simboliza las proposiciones moleculares siguientes sustituyendo las
proporciones atómicas por letras mayúsculas.
a) Necesito ponerme las gafas o esta luz es débil.
i) A: Necesito ponerme las gafas
ii) B: Esta luz es débil
iii) A˅B
b) Los patitos no se transforman en cisnes.
i) A: los patitos se transforman en cisnes
ii) ¬A
c) Daba tres pasos hacia la derecha y entonces iba dos pasos hacia adelante.
i) A:Dar tres pasos hacia la derecha
ii) B:Dar dos pasos hacia adelante
iii) A→B
d) Estos problemas no son fáciles para mí.
i) A: los problemas son muy fáciles para mi
ii) ¬A
e) Si la clase de química ya empezó, entonces llego tarde.
i) A: la clase de química ya empezó
ii) B: llego tarde
iii) A→B
f) Si Brasil está en Sudamérica entonces está en el hemisferio sur.
i) A: Brasil esta en Sudamerica
ii) B: Sudamerica esta en el hemisferio sur
iii) C: Brasil esta en el hemisferio sur
iv) (A^B)→C

4. Simbolizar las propiedades matemáticas siguientes sustituyendo las

proposiciones atómicas por letras mayúsculas. Recuerda que ≠ es la negación
de =.

 Si 𝑥 = 𝑦 entonces 𝑥 = 2.
 A: x=y
 B: x=2
 A→B
 Si 𝑥 ≠ 2 entonces 𝑦 > 1.
 A: x=2
 B: y>1
 ¬A→B
 Si 𝑥 ≠ 2 o 𝑥 ≠ 3 entonces 𝑥 = 1.
 A: x=2
 B:x=3
 C:x=1
 (¬A˅¬B)→C
 Si 𝑥 − 𝑦 = 2 entonces 𝑦 − 𝑥 ≠ 2.
 A: x-y=2
 B:y-x=2
 A→(¬B)
 Si 𝑥 + 𝑦 > 𝑧 y 𝑦 ≠ 𝑧 entoces 𝑥 > 𝑧.
 A:x+y>z
 B:y=z
 C:x>z
  (A^(¬B))→C

CONCLUCION.
El ejercicio nos permite aplicar específicamente los simbolos para traducir de un
lenguaje normal, a un lenguaje matematico. Tambien es interesante notar que no importa la
extencion de cada premisa, se pueden utilizar la asignación de cada premisa por separado.
En el ejercicio se nos permite hacer las comparaciones entre simbolos lógicos y
simbolos de asignación. También se hace ver que el uso de paréntesis son muy importantes,
estos determinan que la expresión lógica realmente tenga sentido.
Creo que este primer ejercicio nos permite que se apliquen de manera especifica varias
de los simbolos que se revizan en esta primera parte de la unidad.
Creo que también es muy interesante, como se expresa, en la teoría del curso, el lenguaje
formal a diferencia del lenguaje natural, este no deja ambigüedades, es especifico en la
relacion entre premisas, esto es con reglas de precisión.

Fuente: Teoria Unidad 1 Universidad Nacional a Distancia