二項関係

暇つぶしに見て

論理式の定義と括弧の意味

論理和と論理積の結合則、交換則を推論規則から演繹しようと思って挑戦。やりながら論理式と括弧が気になってきました。そういえばどんなルールがあるのだろうと。 論理式と二項演算と括弧 論理式の定義 Wikipediaには以下のように説明されていま...
暇つぶしに見て

存在と関係

僕の中で解決していない問題。「等しい」について。 等号がスタートです。以下僕の頭の中を書き出して整理します。 等号って何だろうな。Wikipediaぽち。 【等号】等号の左右が等価であることを表し、等号で結ばれた数式を「等式」と呼ぶ。Wik...
暇つぶしに見て

直積集合と関係と写像のドツボ

「関係」という概念のドツボにハマりました。まあでも、ここを走り抜けば何か見えてくるはず。 「関係」「直積集合」「写像」のそれぞれの概念を定義する議論は理解していると僕は思っています。なので、それぞれを眺めているだけなら何かを感じることはない...