Usuario:Aaaw04/ejercicio20

De Wikilibros, la colección de libros de texto de contenido libre.

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)))