2014-06-10から1日間の記事一覧
今回こそは やります!前回はすみません! 教室 総合研究2号館 地下第9講義室 です。 授業内容 授業第六回目の今回は、最小命題論理の自然演繹、⇒, ∧と∨の導入規則・除去規則についての演習です。 前回の復習 宿題の答え合わせ 演習 自然演繹:⇒, ∧, ∨ の関…
今回こそは やります!前回はすみません! 教室 総合研究2号館 地下第9講義室 です。 授業内容 授業第六回目の今回は、最小命題論理の自然演繹、⇒, ∧と∨の導入規則・除去規則についての演習です。 前回の復習 宿題の答え合わせ 演習 自然演繹:⇒, ∧, ∨ の関…