数学の本第80巻

[0232 １３２人目の素数さん 2018/12/09(日) 04:48:55.79 ID:/LD9BM5G]

>>230
論理記号と集合記号が対応している、という話を先に知っていたら
トートロジーA→Aに対応するA⊃Aは全然おかしくない。