Desafios de la clase de Logica Computacional

Desafios de la clase de Logica Computacional

lunes, 3 de mayo de 2010

DESAFIO 8 Y 9

https://sites.google.com/a/upedagogica.edu.sv/nestor-vladi/LenguajedePrimerOrden%282%29.doc?attredirects=0&d=1

Al realizar este desafío comprendí cuándo utilizar los cuantificadores (Universal y Existencial).
El cuantificador universal se utiliza cuando un todo cumple cierta propiedad, el cuantificador existencial cuando algunos la cumplen.