2024.07.01
https://gyazo.com/1d0ac1781a81578636421458dbf1af91
https://ja.wikipedia.org/wiki/21世紀#環境問題に関連した予測
何?
前:
2024.06.30
後:
2024.07.02
#日報
メモ
略記、証明論上同値、意味論上同値についての注意
思った
$ \lnot A \equiv A \to \bot
として導入していたが色々あって面倒なことになったので修正してみている