Lgica Matemtica

Unidad 1. Lgica de enunciados o de proposiciones..

Actividad 1. Foro introduccin a los lenguajes formales.
Del espaol 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. D cinco enunciados en espaol junto con sus traducciones al lenguaje formal. Los
enunciados se debern escoger de manera que tengan una estructura interesante, y
cada traduccin deber tener contener quince o ms caracteres.
2. Cada uno de los siguientes pasajes contiene un solo argumento. Usando las letras
y
, identificar las premisas y la conclusin de cada argumento, escribiendo primero
las premisas y ltimo la conclusin. Enumerar las premisas en el orden en que tiene
ms sentido, y escribir las dos premisas y la conclusin 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 Platn, 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.
b) A medida que el rechazo o la perversin de la justicia por las sentencias de los
tribunales, as como en cualquier otra forma, es con la razn 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 pases se
refiere.
c) El hecho de que nunca hubo un puente de tierra entre Australia y el continente
Asitico se evidencia por el hecho de que las especies animales en las dos reas
son muy diferente. Mamferos placentarios asiticos y mamferos marsupiales
australianos no han estado en contacto en los ltimos millones de aos.
3. Simboliza las proposiciones moleculares siguientes sustituyendo las proporciones
atmicas por letras maysculas.
a) Necesito ponerme las gafas o esta luz es dbil.
b) Los patitos no se transforman en cisnes.
c) Daba tres pasos hacia la derecha y entonces iba dos pasos hacia adelante.
d) Estos problemas no son fciles para m.
e) Si la clase de qumica ya empez entonces llego tarde.
f) Si Brasil est en Sudamrica entonces est en el hemisferio sur.
4. Simbolizar las propiedades matemticas siguientes sustituyendo las proposiciones
atmicas por letras maysculas. Recuerda que es la negacin de .
a.
b.
c.
d.
e.

Si
Si
Si
Si
Si

entonces
entonces
o
entonces
entonces
y
entoces