MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES.

Victor Augusto Dionisio

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.