Ejercicio # 1

 a)  Todos los gatos tienen cola

Sea G {x\x Es Gato} y Cx Tienen cola

Solución:

∀ x ∈ G\Cx

b) Hay animales Hervíboros

Sea A {x\x Es Animal} y Hx Es hervíboro

Solución:

∃ x ∈ A\Hx c) Todos los hombres son mortales y Carnívoros Sea H {x\x Es hombre} , Mx Es mortal y Cx Es carnívoro Solución: ∀ x ∈ H\Mx Λ Cx d) Toda las hormigas son insectos y se viven en manada Sea H{x\x Es Hormiga}, Ix Son insectos y Mx Viven en manada Solución: ∀ x ∈ H\Ix Λ Mx e) Hay algunos Hombres dominantes y pobres Sea H {x\x Es hombre}, Dx Es Dominante y Px Es pobre Solución: ∃ x ∈ H\Dx Λ Px f) Todas las mujeres son inteligentes o son frágiles Sea M{x\xEs Mujer}. Ix Son inteligentes y Fx Son frágiles Solución: ∀ x ∈ M\Ix v Fx g) Ningún Triángulo Congruente  ABC es equilátero Sea T{Triángulo congruente ABC} y Ex Es Equilátero Solución: ∀ x ∈ T\~Ex h) Todos los arácnidos tienen 8 patas Sea A{x\x Es un arácnido} y Px Tienen las 8 patas Solución: ∀ x ∈ A\Px