Ee76qzjv9 https://blog.hatena.ne.jp/Ee76qzjv9/ 阿呆理詰日記ほか〈三浦俊彦〉 https://ee76qzjv9.hatenablog.com/ メモ ★論理式の演習問題（続・忠誠のパラドクス） 前問の答えの末尾（『論理パラドクス』問032）「普遍化可能な読み」の方を論理記号で表わすと、次のようになる。 ∀ｘ（Ｏ（∃ｙ（Ｒ（ｘ,ｙ）））） ∀ｘは、∀ｘがかかる（ ）内の表現をすべてのｘ（ここでは暗黙に「すべての人間」）が満たすということであり、Ｏは、Ｏがかかる（ ）内が義務であることを示し、∃ｙとは∃ｙがかかる（ ）内の表現を満たすｙがあるということであり、Ｒ（ｘ,ｙ）はｘはｙに対して忠実である、ということを示す。つまり上の論理式は、丁寧に読むと、「すべての人に次のことが当てはまる、すなわち、誰かに忠実であることが義務である」。 ① では、「… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fee76qzjv9.hatenablog.com%2Fentry%2F553cc93293b4b26d1524f00a71c4d881" title="忠誠のパラドクス - 阿呆理詰日記ほか〈三浦俊彦〉" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2005-12-11 01:19:39 rich https://ee76qzjv9.hatenablog.com/entry/553cc93293b4b26d1524f00a71c4d881 1.0 100%