完全に個人のメモ。復習+忘れた時に思い出す用。範囲としては論理学をつくるp214~p235。気が向いたら述語を自然演繹で導出対象にするやり方も書くかも。 導出線と前提棒 演繹規則 表記 前提規則(premiss rule:Prem) 繰り返し規則(rule of repetition: Rep) …