Untitled

cuantificador existencial

DEFINICION

• es otro tipo de cuantificador dentro del calculo de predicados, el cual indica algun o algunos valores son verdaderos dentro de un dominio o contexto especifico

Slide 3

• sea A una expresion, y sea X una variable, si deseamos indicar que A es verdadero para cuando menos un valor de X escribimos