añado Intro Lógica y Lógica Proposicional