2013年4月11日木曜日

¬A⇒(A⇒B):自然演繹NKにおける証明

命題論理の自然演繹における諸定理 【22】¬A⇒(A⇒B)の証明を新規作成、アップロード。