Lógica matemática

Nombre: Silvia Sanchez Espinoza

Matricula: ES172015001
Licenciatura en Matemáticas
Ing. Rafael Pacheco Espinosa
UNIDAD 1
Actividad 1
1.- Dé cinco enunciados en español junto con sus traducciones al lenguaje formal.
Los enunciados se deberán escoger de manera que tengan una estructura
interesante, y cada traducción deberá tener contener quince o más caracteres.
Español. El agua de la ciudad contiene microbios. (traducción B)
Español. El aguacate es nutritivo. (traducción N)
Español. Hablamos de algo sano. (traducción S)

Español: Si el agua tiene microbios entonces no hablamos de algo sano

Traducción: ( B →(¬ S ))
Español: Hablemos de algo sano, si y solo si el aguacate es nutritivo y el agua no
contiene bacterias.
Traducción: ¿
Español: Si no hablamos de algo sano entonces el aguacate es nutritivo o el agua
contiene microbios.
Traducción: ¿

2. Cada uno de los siguientes pasajes contiene un solo argumento. Usando las
letras y , identificar las premisas y la conclusión de cada argumento, escribiendo
primero las premisas y último la conclusión. Enumerar las premisas en el orden en
que tiene 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 buscaran esto.
P1: El bien es lo que promueve los intereses reales de la persona.
P2: Cuando el bien se conoce
C: Los hombres buscaran esto
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 una 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
refieren.
P1: El rechazo de la justicia por las sentencias de los tribunales.
P2: La pervesion de la justicia por las sentencias de los tribunales.
P3: Es con la razon una de las justas de la guerra.
C: El poder judical federal debe tener el conocimiento de todas las cuasas en que
los ciudadanos de otros paises se refiere.
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.
P1: Nunca hubo un puente de tierra entre Australia y el continente Asiático.
P2: Las especies animales en las dos áreas son muy diferentes.
C: Mamíferos placentarios asiáticos y mamíferos marsupiales australianos no han
estado en contacto en los últimos millones de años.

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.
A= Necesito ponerme gafas
B= Esa luz débil
(A⋁B)
b) Los patitos no se transforman en cisnes.
P= los patitos se transforman en cisnes
(¬ P ¿
c) Daba tres pasos hacia la derecha y entonces iba dos pasos hacia adelante.
S= Daba tres pasos hacia la derecha
T= Entonces iba dos pasos hacia adelante
(S∧T)
d) Estos problemas no son fáciles para mí.
F= Estos problemas son fáciles para mi
(¬ F ¿

e) Si la clase de química ya empezó entonces llego tarde.

Q= La clase de química ya empezó
L= Llego tarde
(Q→L)

f) Si Brasil está en Sudamérica entonces está en el hemisferio sur

B= Brasil está en Sudamérica
S= Entonces esta en el hemisferio sur
(B→S)

4. Simbolizar las propiedades matemáticas siguientes sustituyendo las

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

a. Si x = y entonces x = 2
A = x= y
B=x=2
(A→B)

b. Si x≠ 2 entonces y > 2
A=x=2
B=y>2
(¬ A → B)
 c. Si x≠2 o x≠3 entonces x = 1
A= x= 2
B= x = 3
C= x = 1

((¬ A ❑¬ B ¿→C )

d. Si x – 1 = 2 o x ≠3 entonces y – x ≠2.
A= x – 1 = 2
B=x=3
C=y–x=2

((A⋁B) →( ((¬C ¿ ¿

e. Si x + y > z y y ≠z entonces x> z

A=x+y>z
B=y=z
C= x > z

((A ∧ (¬ B ¿ ¿ →C ¿

Conclusiones:
Realmente los ejercicios me parecieron interesantes, la verdad tuve
que leer diferentes materiales para entender los ejercicios, ya que no
tenia conocimientos de los temas, sin embargo, realice el mi mejor
esfuerzo y espero haberlos hecho de manera correcta.