Relacionar estas dualidades del cuantificador a las leyes de De Morgan, establecer un modelo con un pequeño número de elementos en su dominio "D", tales como