■ - 基礎演習 I 論理学

先々週、先週と休講で申し訳ありません。いま勤め先で業務崩壊中で…今週の授業は、今週こそはなんとかします、したいですが、もしかしたら急な打ち合わせで急遽休講にさせて頂く可能性がゼロではないので、Klasisメール等を気にしていただければ幸いです。

授業第八回目、∀の導入・除去規則についてです。∀の導入規則には、eigenvariable条件という、非常にややこしい制限がついているので、注意が必要です。