Cálculo_proposicional_implicacional loading ...