VALUACIONES BOOLEANAS, CONJUNTOS VERDADEROS, COMPLECIÓN Y CONSISTENCIA. NOTAS A “A PROCEDURE OF BUILDING UP TAUTOLOGOUS PROPOSITIONAL FORMULAE FROM GIVEN VARIABLE TRUTH-FUNCTIONS” DE JUAN NUÑO

Autores/as

  • Jesús F. Baceta V. Universidad Central de Venezuela

Palabras clave:

Valuaciones booleanas, conjuntos verdaderos, compleción y consistencia, Boolean Valuations, sets truth, completeness and consistency

Resumen

Se contextualiza la nota “A procedure of building up tautologous propositional formulae from given variable truth-functions” de Juan Nuño y se demuestra un detalle que garantiza su construcción.

Abstract
Awarded the context article “A procedure of building up tautologous propositional formulae from given variable truth-functions” of Juan Nuño and shows a detail which ensures its construction.

Descargas

Los datos de descargas todavía no están disponibles.

Descargas

Número

Vol. 32 (2012): Homenaje a Juan Nuño, en el 85° aniversario de su nacimiento

Sección

Notas y Discusiones