レポート１（命題論理と集合・写像・関係）
課題　１　「朝顔が冬に咲いたら、地震が起こる。でも朝顔が冬に咲かないからと
いって、地震が起きないとは限らない」を論理式で表せ。
課題　２　１　の和積標準形を求めよ。
課題　３　２　は恒真か？恒真ならばその理由を述べ、そうでなければ、
反例をあげよ。
課題　４　２項関係 P(x,y) で、写像を定義するもの（各 x に対して、高々一個の
y について P(x,y) となる）の例をあげよ。その写像のグラフを定義せよ。
課題　５　アキ「アヤは妖精じゃないよね」
　　　　　アヤ「当たり前よ」
　　　　　マヤ「だから、もしアヤが妖精だったら、アキは天使よね」
アキが正しいときに、マヤは正しい？