MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES.
Resumen
Si una FBF tiene siempre el valor verdadero independientemente de cada asignación particular de valores a sus variables, entonces esta fórmula es una tautología y se denota con V ; si tal valor es siempre falso, entonces esta fórmula es una contradicción y se denota con F.
Referencias
Bustamente, Alfonso. 1988. “Elementos de Algebra en Ciencias de la Computación”.
Serie de textos universitarios, Universidad ICESI, Cali.
Caicedo, Xavier. 1989. “Elementos de Lógica Matemática y Calculabilidad”.
Universidad de los Andes, Bogotá.
[dC2004] de Castro Korgi, Rodrigo. 2004. “Teoría de la Computación: lenguajes,
autómatas, gramáticas”, Universidad Nacional de Colombia, Facultad de
Ciencias, Departamento de Matemáticas.
DOI: http://dx.doi.org/10.98765/fder.rdk.2594-0708.2019.5.20
Enlaces refback
- No hay ningún enlace refback.