課題
下記の記述を読んで，調べたことをまとめ，2007年2月13日（火）17:00までに，A663のドア・ポストに提出して下さい（提出する必要のある人のみ）．
授業では，論理結合子として，以下の5つを用いた．p，qはそれぞれ命題を表わす．
- 否定：〜 〜p「pではない」
- 連言：∧ p∧q「pかつq」
- 選言：∨ p∨q「pまたはq」
- 条件：⊃ p⊃q「pならばqである」
- 双条件：≡ p≡q「pとqは等値」「pならばqであり，かつ，qならばpである」
| p | q | 〜p | p∧q | p∨q | p⊃q | p≡q |
| 1 | 1 | 0 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 0 | 1 | 1 | 0 |
| 0 | 0 | 1 | 0 | 0 | 1 | 1 |
このうち，条件（法）の真理値について，pが0のとき，qの値にかかわらず，p ⊃ qの真理値を1とすることの意味について考察しなさい．
参考書目（必ずしも下記の書籍でなくてもよい．）
沢田允茂『現代論理学入門』（岩波新書）