資料紹介

資料の原本内容 ( この資料を購入すると、テキストデータがみえます。 )

（１）集合、論理
①集合A,B,Cに関し、次の性質 C⊂A⇔A∩(B∪C)＝（A∩B）∪C が成り立つことを示せ。
（解答）
集合の演算について分配法則より、 A∩(B∪C)＝（A∩B）∪（A∩C）が成り立つ。 ここで、C⊂A より、A∩C＝C よって
（A∩B）∪（A∩C）＝（A∩B）∪Cが成り立つ。 すなわち、 C⊂A⇔A∩(B∪C)＝（A∩B）∪C が成り立つ。
② a. 2つの命題 p, q の真偽と、p ⇒ q の真偽の関係を真偽表で表せ。
（解答）
いくつかの式等によって表示される記述で，真（正しい）であるか偽（正しくない）か確定するものを命題と呼ぶ。命題ｐ が真のとき，ｐ は成立するともいう。　
命題 p, q が真の時はＴ（truth）、偽の時はＦ（fail）と書く。また、「p かつ q」を、p∩q、「p または q」をp∪q、p でないことをp 、q でないことをq 、「P ならばQ」を、p ⇒qと表すと、次の真偽表をみたす。
p q p q p∪q p∩q p∪q p∪q p ⇒q p ⇒q Ｔ Ｔ Ｆ Ｆ Ｔ Ｔ Ｔ Ｔ Ｔ Ｔ Ｔ Ｆ Ｆ Ｔ Ｔ Ｆ Ｔ Ｆ Ｆ...

コメント0件