2023-06

元の一致　集合が一致することはよく取り上げられる中、集合の元が一致することはあまり取り上げられず、2つの元を区別できること前提によく話が進む。しかし、書き下せない集合では文字で取った元をどのように比較すればいいのだろうか。今回は、命題論理を用いて集合の元が一致することの説明を考えます。

命題論理で現れた「かつ」「または」「ならば」。これらを利用して与えられた集合から新しい集合を考えます。

数字が一致するなどは同じかどうかですぐわかります。では、数の集まりはどう比較すればいいでしょうか。今回は、命題の同値により集合が一致することを定義します。

集合は、高校数学の初めに登場し共通テスト（旧センター試験）のときだけ必要な道具になりがちです。今回は、命題論理の視点から集合の意味を考えていきます。