Безусловно имеет смысл вникать в содержание утверждений, построений, доказательств, имеет смысл воспитывать интуицию и т.п. Но также хорошо при обучении логике пропустить через себя собственно логический формальный душный лейбницианский вайб, особенно тем, кто заходит в чистую логику через философию