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.
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.