2016年度論理と集合(逸見担当)第 1回レポート

2016 年度 論理と集合(逸見担当)第 1 回レポート
来週の授業の最初に提出してください(または理学部 2 号館 6 階 627 室)
書ききれない場合は裏も使ってください.
【1】任意の命題 P, Q に対し,¬(P ∧ (¬Q)) ⇔ (¬P) ∨ Q が成り立つことを真偽表を
用いて示せ.
【2】次の命題の対偶を述べよ.
宇宙人がいて地球を攻撃してくれば,中間試験も期末試験もやりません.
学生番号
氏名
ホームページ:http://science.cc.kochi-u.ac.jp/info/dtl.php?hdnKey=753
E-mail:[email protected]