Lic. Hernndez Gabriel, Sebastin Pgina 1

UNIVERSIDAD MARIANO GLVEZ DE GUATEMALA

FACULTAD DE INGENIERA EN SISTEMAS DE INFORMACIN Y CIENCIAS DE LA

COMPUTACIN

CURSO: LGICA DE SISTEMAS

EJERCITACION PRACTICA (TAREA No. 2) INSTRUCCIONES: Responda correctamente lo que se le pregunta de forma clara y ordenada, subirlo en la plata formaMOODLE, como TAREA No. 2, hasta el da viernes 6 de marzo 2015.

LA TAREA DEBE CONTEMPLAR LO SIGUIENTE:

a) Caratula

b) Introduccin

c) Contenido

d) Conclusin

a) Simbolizar las siguientes proposiciones, en el caso de las compuestas simbolizar el conectivo:

1. Luis es Doctor y Gustavo es Ingeniero Civil

2. Costa Rica est en Europa

3. Si confan en m, entonces no los debo defraudar

4. 9 3 = 6 9 = 6 + 3

5. Si Z = 0, entonces Z + 5 = 5

b) Resolver los siguientes enunciados, con ejemplos de la vida diaria

1. Escribir 5 proposiciones atmicas y 5 proposiciones moleculares

2. Simbolice las 10 proposiciones anteriores e identifique la partcula gramatical

3. Simbolice las 10 proposiciones del punto 1 con los conectores lgicos

c) Realice Las Siguientes Tablas De Verdad Y Determine Si El Resultado Es Tautologa,

Contradiccin o Contingencia.

1. ( p -> q ) & ( p & q )

2. p v ( q -> r )

3. ( p -> q ) & q -> p

4. ( p -> q ) & p -> q

5. ( p^q ) ^ [( p v q) ^ p ]

6. (p ^ q) v [( p -> (q]

7. (p ^ q) ^ [(p -> (q)]

8. [(p and q->r)] ->[(p v r)] d) Resolver los siguientes enunciados, con ejemplos de la vida diaria.

1. (p->q) v r

2. (p v q) ^ (q v r)

3. p ^q

4. p -> r

5. (p ^ q) p

e) Determinar el valor de verdad de los siguientes enunciado, colocando con una letra v

minscula seguido de parntesis, donde encerramos la letra que representa la proposicin, as

v().

v(q) = V = verdadero v(q) = F = Falso

1. El triangulo equiltero tiene 3 lados iguales.

2. La formula (base)(altura) = rea del triangulo.

3. La energa no se crea ni se destruye solo se transforma.

4. Ro de Janeiro es la capital de Brasil.

5. Copiar en un examen es inapropiado.

f) Realizar 8 proposiciones compuestas con ejemplos de la vida diaria

g) De acuerdo a los ejemplos vistos en clase, Qu son los rboles Lgicos? y escriba un ejemplo

de un proceso, actividad y/o producto.

h) Para la demostracin de Validez, Muestre utilizando la forma expuesta en clase, si el siguiente

es un razonamiento vlido:

SI NO ME DESPIERTO, NO PUEDO IR A LA FIESTA. SI NO VOY A LA FIESTA, NO ME DIVERTIR.

ENTONCES, SI NO ME DESPIERTO NO ME DIVERTIR

Nota: para la demostracin, realice laTabla de Verdad y determine si el Resultado Es Tautologa,

Contradiccin o Contingencia

Y conoceris la verdad y la verdad os har libres Juan 8:32.