Eslabón interdisciplinario I. Introducción a la lógica simbólica. Teoría de los conjuntos y relaciones