2012年12月21日金曜日

∨導入則・∨除去則

命題論理の自然演繹:∨導入則・∨除去則。ナビゲーション・リンク切れの修正