大学学部レベル質問スレ 9単位目

[0450 １３２人目の素数さん 2018/02/23(金) 11:24:16.60 ID:+V6W+U5Q]

前原昭二著『記号論理入門』を読んでいます。

証明図に書く

[ ]

という記号の定義は何ですか？

前原さんは、この場合は、こういう意味というような説明しかしていません。