nuhsnuh https://blog.hatena.ne.jp/nuhsnuh/ nuhsnuh’s blog https://nuhsnuh.hatenablog.jp/ Lesniewski (本日の日記はものすごく長いです。長すぎて、字数制限に引っかかり、一日では日記に収まりませんので、今日と明日に分けて記します。本日はその第一日目です。)今回は、Leśniewski の定義のやり方について、記します。現在、私たちが論理学や数学において定義を行なう際には、定義のための特別な記号を使って行っています。例えば '⇔' という記号の上、または下に 'def' という記号を添えることで定義記号としたり、':=' を定義記号としたり、著者の好みに応じてその他いくつかの形をした記号を、その都度、定義記号として採用して利用していると思います。その際には、それらの定義記号は、文や式が互いに同値で… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnuhsnuh.hatenablog.jp%2Fentry%2F20150103%2Fp1" title="　Why Does Leśniewski Use the Equivalence Sign Instead of the Definitional Equality Sign for Definitions? Part 1 - nuhsnuh’s blog" 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 2015-01-03 00:00:00 rich https://nuhsnuh.hatenablog.jp/entry/20150103/p1 1.0 100%