過去のシリーズはこちらから。
今回は自分の担当ではないので内容がないよう。
二つの集合の直和
数を指定しない直和は連言になって二つの集合の直和は選言になるというのはなんか凄い。
というまた新しいのが出てきた。
命題的な(?)等しさ
"propositional"はここではどう訳すべきか。「命題の」等しさではないので、「命題としての」等しさとかか。
この の導入則はなんかせこいような!? ちょっとメタなが話が体系内に入っている感じがする。しかし非常に面白い。
過去のシリーズはこちらから。
今回は自分の担当ではないので内容がないよう。
数を指定しない直和は連言になって二つの集合の直和は選言になるというのはなんか凄い。
というまた新しいのが出てきた。
"propositional"はここではどう訳すべきか。「命題の」等しさではないので、「命題としての」等しさとかか。
この の導入則はなんかせこいような!? ちょっとメタなが話が体系内に入っている感じがする。しかし非常に面白い。