0387Mr.Moto垢版 | 大砲2018/10/09(火) 17:22:01.19ID:n3OoJnrZ >>386 > 「T」という名称は全集合を意味する矛盾記号の反対で > 空集合を意味するものです。 まず、そこから問いなおそう。 だったら、「*T*」が正解で、「¬NIL」なんじゃ ないか? 空集合だったら「Ø」だが、あれはスカンジナビア語系の 文字なので、あんまり一般性がない。 まず、自分の思考あるいは論理体系を整理して、それを言語化して 評価されるところから始めよう。