Nuño, J. A. UN PROCEDIMIENTO PARA CONSTRUIR FÓRMULAS PROPOSICIONALES TAUTOLÓGICAS DADAS LAS VARIABLES DE FUNCIONES VERITATIVAS. EPNS 2013, 32.