conjuntos

h
Universidad Latina de Costa Rica
Ingeniería de Sistemas Informáticos
Curso: Lógica y Algortimos
Tarea #1
Prof. Royner Víquez N. Correo: royner.viquez@ulatina.net

Instrucciones:Debe de Realizarse en grupos de mínimo 3 personas y máximo 5
Entregarse impreso con portada con el nombre completo de cada uno de los integrantes del curso (No se aceptarán trabajos a hechos amano).
Fecha de entrega Semana 5. No se aceptarán trabajos realizados después de 15 minutos iniciada la clase.
Nota: Imprima el trabajo con tiempo. Revise si reconocen todos los símbolos.

1.Planteeel siguiente argumento y demuestre su validez o inconsistencia (Por Tabla de Verdad o por Leyes de Implicaciones Lógicas) [15 ptos]

Una condición suficiente para que haya un eclipse total de lunaes que haya luna llena y que la Tierra se interponga entre el sol y la luna. Hay luna llena. No hay eclipse total de luna. Por lo tanto, la tierra no se interpuso entre el sol y la luna.2. Sea un universo de discurso que consta de cinco dinosaurios: Tiranosaurus, Braquiosaurio, Velociraptor, Triceraptops, Carnotaurus. El Tiranosaurus, Triceraptops y el Carnotaurus eran carnívoros,andaban sobre sus dos patas traseras y tenían los dientes afilados. El Braquiosaurio y el Velociraptor eran herbívoros y andaban sobre sus cuatro patas. [20 ptos]

Sean los predicados: C: carnívoro,H: herbívoro, DP: dos patas, CP: cuatro patas, D: dientes afilados
a) Presente la asignación de los predicados (C, H, DP, CP, D). [5 ptos]
b) Validar las siguientes expresiones yexplicar cada resultado [10 ptos: 5 ptos c/u]
i) x [C(x)DP(x) ]
ii) x [ H(x)  CP(x) ]
c) Exprese en forma simbólica la siguiente frase: “Algunos dinosaurios carnívoros tenían dientesafilados” [5 ptos]

3. Haciendo uso de las fórmulas de la lógica proposicional (leyes) simplifique la siguiente expresión: [20 ptos]
 [ (p q) p q)]

4. Utilizando lógica de...