木曜日 3限

提出期限: 2012年1月26日（木）
提出先: 定期試験のときに中田に手渡しか、中田のレポートボックス
レポートの点数: 10点

問題をプリントアウトして手書きで回答して、解答例を参考に自己採点をしてから提出をしてください。
手書きではないレポートの場合は、0点とします。

問題，解答例

解答例に誤りがありました。
15.の途中経過で(￢q→0)を￢qとしていましたが、qの誤りです。但し最後の解答である「恒真」という答えは変わりません。
16.の矛盾しない例においてp,q=1,0または0,1となっていましたが、p,q=1,1または0,0の間違いです。これも「恒真ではない」という解答自体は変わりません。また試験では、この矛盾しない例を書かなくても減点とはなりません。
これらの修正は、現在の解答例では既に直っています。

定期試験の期間中（1月26日（木） 3限）に試験を行う。
時間60分、持ち込みは定規のみ可
試験範囲(pptxファイル)

シラバス
0.　情報論理の講義について
1.　論理学入門
2.　離散数学入門
3.　命題論理1
4.　命題論理2
5.　命題論理の推論1
6.　論理回路
7.　述語論理1
8.　述語論理2

※ 講義資料を表示できない場合：右クリックで「ファイルに保存」、ダウンロードしたファイルを印刷。
※ 印刷したときに表示がおかしくなる場合：印刷時に下の方に出る「画像として印刷する」にチェックをして印刷。