Fundamentos de Matemáticas: Conjuntos, Relaciones y Aplicaciones
Definición 1.3.1 En general, una sentencia que incluye una variable x se denota por p(x) y se denomina un predicado. Si la variable se sustituye por un valor, el predicado se convierte en una proposición.El cuantificador universalp(x) es verdadera para todos los valores de un dominio particular. Se denota ∀xp(x). El símbolo ∀ se le […]
