Untitled
Slides in this set (3)
-
-
- 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
-
- sea A una expresion, y sea X una variable, si deseamos indicar que A es verdadero para cuando menos un valor de X escribimos
Information
- Description
- Slide Set on Untitled, created by Juan David Aroca Oyola on 26/09/2018.
- Created by
- Juan David Aroca Oyola · Sep 2018
- Updated
- Sep 26, 2018
- Views
- 0
- Rating