Problem #PRU-98648

Problems Methods Examples and counterexamples. Constructive proofs Set theory and logic Mathematical logic Mathematical logic (other)

Problem

Elephants, rhinoceroses, giraffes. In all zoos where there are elephants and rhinoceroses, there are no giraffes. In all zoos where there are rhinoceroses and there are no giraffes, there are elephants. Finally, in all zoos where there are elephants and giraffes, there are also rhinoceroses. Could there be a zoo in which there are elephants, but there are no giraffes and no rhinoceroses?