Principles of logic and the use of digital geographic information systems · Study