離散数学教えて下しぁ

0001１３２人目の素数さん

2007/01/25(木) 18:10:01

論理式 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 は偽

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

0004１３２人目の素数さん

2007/01/25(木) 18:59:04

(1){x│x≦0,x∈Z}
(2)Z
(3){0}
(4){x│x≦0,x∈Z}

00054

2007/01/25(木) 18:59:53

訂正
(4){x│x≧0,x∈Z}