¿Qué es la lógica elemental?