Usuario:Aaaw04/ejercicio20

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

Un universo de discurso consta de todas las personas que forman parte de una comisión. Utilice los cuantificadores universal y existencial para expresar que (a) como máximo, hay un alumno en la comisión, (b) hay al menos un alumno en la comisión y (c) hay exactamente un alumno en la comisión.

     Sea U(x), x es un estudiante y sea la comision el universo
       a) Como maximo una: Ây(U(y)→ (x=Y))
       b) Al menos una: ËxU(x)
       c) Exactamente una: Ëx(U(x) ^ Ây(U(y)→(x=Y)))