lsdfgjsdfk

UNIVERSAL (Ʉ)

1. “Toda la arena del rio es infinito”
Para todo x es Arena entonces x infinito
Ʉx Ax=> ix

2. “Todas las aves tienen plumas”
Para todo x es ave, Entonces x tienen plumasɄx Ax => Px


3. “Los perros ladran”
Para todo x, es perro entonces x ladran
Ʉx Px => Lx

4. “Todos los leones son carnívoros”
Para todo x, es león entonces x es carnívoro”
Ʉx Lx=>Cx

5.“Todos los arboles tienen hojas”
Para todo X, es un árbol entonces x tiene hoja”
Ʉx Ax => Hx


6. “Todo ser humano tiene vida”
Para todo x, es humano entonces x tiene vida”
Ʉx Hx => Vx7. “Todas las estrellas brillan”
Para todo x, es estrella entonces x brillan”
Ʉx Ex => Bx

8. “Todas las computadoras tienen disco duro”
Para todo x, es computadora x tiene disco duro”
Ʉx Cx=> DRx

9. “Todas las hormigas son insectos”
Para todo x, es hormiga entonces x es insectos
Ʉx Hx => Ix


10. “Todos los jugadores de futbol usan camisola y tacos”
Para todo x, es jugadorde futbol entonces usan camisola y Tacos”
Ʉx Jx => Cx ˄ tx


EXISTENCIAL (Ǝ)

1. “ Existen cisnes negros”
Existe por lo menos x, tal que x es cisne Y x es negro
Ǝx I Cx˄Nx

2. “Existenciudades de clima calurosas”
Existe por los menos x, tal que x es ciudad y x es frio”
Ǝx I Cx˄Fx

3. “Existen ríos no contaminada”
Existe por lo menos x, tal que x es ríos y x no es contaminada”
Ǝx IRx˄Vx

4. “Existen caballos sin colas”
Existen por lo menos x, tal que x es un caballo y x es si cola”
Ǝx I Cx˄Cx

5. “Existe un numero divido entre 100 igual 20”
Existen por lo menos x, talque x es un numero divido 100 igual x es 20)
Ǝx I N100/x= 20x

6. “Existe un animal carnívoro”
Existe por lo menos x, tal que x es un animal y x es carnívoro.
Ǝx I Ax˄Cx

7. “Existe una ovejaque no tiene lana”
Existe por lo menos x, tal que x es una oveja y x no tiene lana”
Ǝx I Ox˄Lx

8. “Existe un estudiante, que no le gusta la matemática”
Existe por lo menos x, tal que x es un...