2019-05-17から1日間の記事一覧
(※内輪向けのメモ書きです。) ●定理1.4.7(LKの完全性定理)の証明について:「2.\(\Theta\)に\(\supset\)が現れるとき」の (1)\(f(\alpha\supset\beta)=f(\alpha)\supset f(\beta)=\top\supset\bot=\bot\) (2)\(f\)は\(\Gamma\rightarrow\Theta\)の反駁に…
(※内輪向けのメモ書きです。) ●定理1.4.7(LKの完全性定理)の証明について:「2.\(\Theta\)に\(\supset\)が現れるとき」の (1)\(f(\alpha\supset\beta)=f(\alpha)\supset f(\beta)=\top\supset\bot=\bot\) (2)\(f\)は\(\Gamma\rightarrow\Theta\)の反駁に…