数学 - 集合・命題・条件(真理表)

数学読本〈1〉
松坂 和夫 (著)

学習環境

• 端末: WindPad(Microsoft Windows 7 Home Premium)
• 図形描画ソフト: ペイント(Windows標準)
• 数式入力ソフト: 数式入力パネル(Math Input Panel、Windows標準)、MathType
• スタイラスペン: Su-Pen
• ブラウザ: Firefox、Safari(MathML対応)

数学読本〈1〉数・式の計算/方程式/不等式 の第4章(大小関係をみる - 不等式)4.4(集合・命題・条件)問33を解いてみる。

問33.

真理表

p	q	p'	p'またはq
真	真	偽	真
真	偽	偽	偽
偽	真	真	真
偽	偽	真	真

よって「pならばq」の真理表と真偽が一致しているので、

(p'またはq)<=> (pならばq)

となる。

(証明終)