La lógica general es o lógica pura o lógica aplicada.