different types of logical reasoning - Search