LGICA MATEMTICA.

UNIDAD I.LGICA DE ENUNCIADOS O DE

PROPOSICIONES.
ACTIVIDAD 1. FORO INTRODUCCIN A LOS LENGUAJES
FORMALES.

FACILITADOR: RAFAEL PACHECO E.

09 de Octubre de 2015.
Alumna: MARA DE LA LUZ PREZ LIMN.
MATRCULA: A12525958.
GRUPO: MT-MALM-1502S-B2-001

LGICA MATEMTICA.
UNIDAD I.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
contener quince o ms caracteres.
Enunciado 1.
He visto la pelcula de Los crmenes de Oxford, si bien no me he
ledo la novela.
He visto la pelcula de Los crmenes de Oxford

LGICA MATEMTICA. | 09 de Octubre de 2015.

No he ledo la novela de Los crmenes de Oxford

En este caso, significa lo mismo decir He visto la pelcula de Los

crmenes de Oxford, si bien no me he ledo la novela que He visto la
pelcula de Los crmenes de Oxford y no me he ledo la novela de Los
crmenes de Oxford
( )
Enunciado 2
Si se hubieran inspeccionado los asentamientos irregulares,
entonces no se habran tenido tantos desastres en Guaymas.
Si se hubiera inspeccionado los asentamientos irregulares
No se habran tenido tantos desastres en Guaymas
( ( ))
Enunciado 3.

Si no fuera por la corrupcin, entonces Mxico tendra leyes ms

transparentes y justas.
Si fuera por la corrupcin
Entonces, Mxico tendra leyes ms transparentes
Y justas
( ( ( )))
Enunciado 4
Si E.U. impone sanciones comerciales a Cuba, las relaciones entre
ambos pases seguirn siendo afectadas; si bien, no ser motivo de
guerra.
Si E.U. impone sanciones comerciales a Cuba
Las relaciones entre ambos pases seguirn siendo afectadas
Ser motivo de guerra
( ( ))
Enunciado 5.

LGICA MATEMTICA. | 09 de Octubre de 2015.

Si los ciudadanos se inclinan a votar por la izquierda los prximos

comicios electorales, el candidato a Presidente del pas por la
izquierda, tendr ms posibilidades de ganar.

Los ciudadanos votan por la izquierda los prximos comicios

electorales
El candidato a Presidente del pas por la izquierda, tendr ms
posibilidades de ganar
( )
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 buscarn sto.
P: El bien promueve los intereses reales de la persona.
P: Cuando el bien se conoce.
C: Los hombres buscan sto.
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.
P: A medida [que exista] el rechazo o la perversin de la justicia.
P: El poder judicial debe tener conocimiento de todas las causas
de los ciudadanos.
C: La razn declarar las causas justas de la guerra.

LGICA MATEMTICA. | 09 de Octubre de 2015.

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 diferentes. Mamferos placentarios
asiticos y mamferos marsupiales australianos no han estado en
contacto en los ltimos millones de aos.

P: Los mamferos placentarios asiticos y los mamferos

marsupiales australianos no han estado en contacto en los
ltimos millones de aos.
P: [Debido] a que nunca hubo un puente de Tierra entre
Australia y el continente Asitico.
C: Las especies animales en las dos reas son muy diferentes.
3. Simboliza las proposiciones moleculares siguientes sustituyendo
las proporciones atmicas por letras maysculas.
a) Necesito ponerme las gafas o esta luz es dbil.

Necesito ponerme las gafas

Esta luz es dbil
( )
b) Los patitos no se transforman en cisnes.
Ser patitos
Transforman en cisnes
( )
c) Daba tres pasos hacia la derecha y entonces iba dos pasos hacia
adelante.
Daba tres pasos hacia la derecha 3
Iba dos pasos hacia adelante. 2
( )
d) Estos problemas no son fciles para m.
Estos problemas son fciles para m
()

LGICA MATEMTICA. | 09 de Octubre de 2015.

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

Si la clase de qumica ya empez

Llego tarde
(() )
f) Si Brasil est en Sudamrica entonces est en el Hemisferio Sur.
Si Brasil est en Sudamrica
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. = = 2.
P: x = y
Q: x = 2
( )
b. 2 > 1.
P: x = 2
Q: y > 1
()
c. 2 3 = 1.
P:( = 2)
: ( = 3)
: ( = 1)
()
d. = 2 2.

LGICA MATEMTICA. | 09 de Octubre de 2015.

P: x y = 2
Q: y x 2

( ())
e. + > > .
P: x + y > z
Q: y = z
R: x > z
(( ) )
Fuentes consultadas:
Curso de Lgica Matemtica, Unidad 1, Pdf, Unadm, 2015.

http://www.monografias.com/trabajos-pdf3/logicamatematica/logica-matematica.pdf

LGICA MATEMTICA. | 09 de Octubre de 2015.

http://www.monografias.com/trabajos-pdf5/logica-proposicionalfilosofia/logica-proposicional-filosofia.shtml