MARCO CONCEPTUAL:
D= {animales}
De(x) = x es delfín
Fo(x) = x es foca
J(x) = x es juguetón
V(x,y) = x vive con y
Constantes: fli, flo y flu
* Fli flo y flu son delfines
De(fli)^De(flo)^De(flu)
*Los delfines son juguetones
∀x[De(x) –> J(x)]
*Algunos delfines son juguetones
∃x[De(x) ^ J(x)]
*Los delfines son no juguetones
¬∃x[De(x) ^ J(x)] = ∀x[De(x) –> ¬J(x)]
*No todos los delfines son juguetones
¬ ∀x[De(x) –> J(x)] = ∃x[De(x) ^ ¬J(x)]
*Sólo los delfines son juguetones
∀x[J(x) –> De(x)]
*Todos los delfines viven con algunas focas
∀x[De(x) –> ∃y(Fo(y) ^ V(x,y))]
*Todos los delvines viven con las focas
∀x[De(x) –> ∀y(Fo(y) –> V(x,y)) ]
Bueno pues parece ser que estas son preguntas típicas del examen, ya sabemos lo que eso quiere decir.
