2023.07.15
前：
2023.07.14
後：
2023.07.16
#日報
やった
今日も全然メチャクチャに
やった
Tait計算
に基づいて
命題論理
を計算
https://math.jp/wiki/数理論理学の基礎%E3%83%BB命題論理#cite_ref-7
これ
Firefox
だと
$ \bar{p}
が正常に表示されないこと忘れてた
2023.04.07#642eea8513a158000064ac95