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.
Espaol. El agua de la ciudad contiene bacterias . Traduccin B.
Espaol. El aguacate es nutritivo. Traduccin. N
Espaol. Hablamos de algo sano. Traduccin. S.
Espaol.
Si el agua tiene bacterias entonces no hablamos de algo sano.
Traduccin:
( (S))
Hablamos de algo sano, s y slo s el aguacate es nutritivo y el agua no contiene
bacterias.
Traduccin:
( ( () ))
Si no hablamos de algo sano entonces el aguacate es nutritivo o el agua contiene
bacterias.
((S) (N B)

2. Cada uno de los siguientes pasajes contiene un solo argumento. Usando las letras
P y C, 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.
P1: El bien es lo que promueve los intereses reales de la persona.
P2: Cuando el bien se conoce.
C: Lo 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.
P1: El rechazo de la justicia por las sentencias de los tribunales
P2: La perversin de la justicia por las sentencias de los tribunales
P3: Es con la razn una de las justas causas de la guerra.
 C: 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.
P1: Nunca hubo un puente de tierra entre Australia y el continente Asitico
P2: Las especies animales en las dos reas son muy diferentes.
C: 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.

G=Necesito ponerme Garfas

D= Esta luz es dbil
( )

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.
T= Daba tres pasos hacia la derecha.
A= Entonces iba dos pasos hacia adelante.
( )
d) Estos problemas no son fciles para m.
F=Estos problemas son fciles para m.
(F)

e) Si la clase de qumica ya empez entonces llego tarde.

Q= La clase de qumica ya empez.
T= Llego tarde.
( )
f) Si Brasil est en Sudamrica entonces est en el hemisferio sur.
B=Brasil est en Sudamrica.
S= 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. Si = entonces = .
==
==2
( )

b. Si entonces > .
==2
=>2
( )

c. Si o entonces = .
==2
==3
==1

(( ) )
d. Si = o entonces .
=1=2
==3
= =2
(( ) ())

e. Si + > y entonces > .

=+ >
==
=>
(( ()) )

CONCLUSIONES:
La actividad al principio puede verse un poco confusa pero en cuanto se va
avanzando podemos ver que slo hace falta poner atencin en cuanto a signos y
valores.