2012年12月14日金曜日

命題論理の自然演繹:矛盾

命題論理の自然演繹:矛盾に関する規則を新規作成、アップロード。