Muy breve introducción a la lógica...