2024.01.23
https://www.youtube.com/watch?v=K4slBVBmq-0
前:
2024.01.22
後:
2024.01.24
#日報
やった
様相論理
と戦う.
正規様相論理の演繹定理
について勘違いしていたかも知れない.
Hilbert流演繹体系
の定義がメチャクチャ怪しいことに気づく.