Cálculo_proposicional loading ...