離散数学教えて下しぁ

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 は偽

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

0002１３２人目の素数さん

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

ちなみにZはもちろん整数です

0003１３２人目の素数さん

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

死ねばいい