今期の成績に関して

pdf版はこちらからダウンロード可能です。

前期の宿題の大部分を提出していない学生は、以下のどちらかについてレポートをまとめ、1/15 までに提出すること*1

• (A) Tonk が論理結合子として認められない理由について述べ、（一つの言語と体系を固定した状況で）論理結合子の満たすべき条件について論じよ。
• (B) 古典論理が disjunction property と exsitence property をともに満たさないことを示せ。また、その証明における排中律の役割について論じよ。

成績との関連等、詳細（特にAが必要な学生）についてはpdf版を必ず読んでください。

*1:提出先は 1 月 12 日の授業で指示する