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