学習環境
- 端末: WindPad(Microsoft Windows 7 Home Premium)
- 図形描画ソフト: ペイント(Windows標準)
- 数式入力ソフト: 数式入力パネル(Math Input Panel、Windows標準)、MathType
- スタイラスペン: Su-Pen
- ブラウザ: Firefox、Safari(MathML対応)
数学読本〈1〉数・式の計算/方程式/不等式 の第4章(大小関係をみる - 不等式)4.4(集合・命題・条件)問35を解いてみる。
問35.
| p | q | pならばq | (pならばq)' | pかつq' |
|---|---|---|---|---|
| 真 | 真 | 真 | 偽 | 偽 |
| 真 | 偽 | 偽 | 真 | 真 |
| 偽 | 真 | 真 | 偽 | 偽 |
| 偽 | 偽 | 真 | 偽 | 偽 |
よって真理表で真偽が一致してることを確認できるので、
(pならばq)' <=> (pかつq')
となる。
(証明終)
0 コメント:
コメントを投稿