Problem #PRU-32793

Problems Set theory and logic Mathematical logic Mathematical logic (other)

Problem

In a certain realm there are magicians, sorcerers and wizards. The following is known about them: firstly, not all magicians are sorcerers, and secondly, if the wizard is not a sorcerer, then he is not a magician. Is it true that not all magicians are wizards?