2024.08.13
https://scrapbox.io/api/pages/sno2wman/ハイテクお盆/icon#.png
ハイテクお盆
ハイテクお盆だー
ハイテクお盆に染まったおれ達を
前：
2024.08.12
後：
2024.08.14
#日報
メモ
思った
気が狂う
Łukasiewiczの3公理図式
で最小論理のやつが演繹定理無しで示す必要が発生し気が狂う
メモ
Łukasiewiczの3公理図式による証明