2023.03.10
https://gyazo.com/271b4aaaff6ad0ef02ae0cb58dcda2e0
前：2023.03.09
後：2023.03.11
#日報
思った
動物って、不快だ
観た
天使の3P 第1話
天使の3P 第2話
天使の3P 第3話
児童ポルノすぎる！
『お兄ちゃんはおしまい！』第10話「まひろとおっぱいとアイデンティティ」
児童ポルノすぎる！(2)
『冰剣の魔術師が世界を統べる』第10話「世界最強の魔術師である少年は、メイド喫茶を準備する」
メモ
よほど変な状況出ない限り，普通証明体系は次の3つの証明方法と3つの推論規則のオプションから選んで作る
証明法
$ \mathbf{H}: Hilbert流演繹体系(Hilbert)
$ \mathbf{N}: 自然演繹(Natural)
$ \mathbf{L}: シークエント計算(?)
論理（推論規則）
$ \mathbf{M}: 最小論理(Minimal?)
$ \mathbf{K}: 古典論理(Klassik)
$ \mathbf{J}: 直観主義論理 (Jntuition)
例えば
$ \mathbf{NK}は「古典論理の自然演繹」での意味
$ \mathbf{LK}は「古典論理のシーケント計算」
循環証明体系
知った
gping