論理式 P，Q をそれぞれ以下のように定義する．

　　P :=def ∀x.∃y. x＞y
　　Q :=def ∃x.∀y. x≧y

このとき，以下が成立するようなZの空でない部分集合 D1，D2，D3，D4 をそれぞれ与えよ．

　　(1) 対象領域 D1 において， P は真， Q は真
　　(2) 対象領域 D2 において， P は真， Q は偽
　　(3) 対象領域 D3 において， P は偽， Q は真
　　(4) 対象領域 D4 において， P は偽， Q は偽


頭いい人おねがいします！！