2.2 Interpretación Proposicional
Consideremos de nueo las expresiones aritméticas… Dada una expresión E tal como
, podemos asignar valores tanto a como a y entonces evaluar la expresión. Por ejemplo, si y entonces la expresión E da como resultado: 8. En el cálculo proposicional, valores de verdad son asignados a los átomos de una formula para evaluar el valor de verdad de la misma.Una asignacion es una funcion
, es decir, asigna uno de los valores de verdad or a cada uno de los atomos. Una asignacion puede extenderse a una funcion , dando a las formulas valores de verdad por las definiciones inductivas.Dado
, y dado como asignacion, tal que y , y para todas las otras .Extendiendo
a una interpretación, el valor de verdad de A puede ser calculado inductivamente.| <= | Tema Anterior: 2.1.2 Formulas Proposicionales |
| => | Siguiente Tema: 2.2.1 Interpretaciones Booleanas |
| Regresar al TEMARIO: Matematicas para Maestria |
Búsqueda personalizada