a 2008/07/19(土) 11:45:00

・科目名
・教官名
・試験問題

a 2008/07/19(土) 11:46:56

試験日もあったほうがいいかも

こういうことか？ 2008/07/19(土) 13:38:09

論理学基礎論I
安部 浩
20080716
問題用紙も回収される
問1 30点
問題分は冗長だが、要するに嘘つきのパラドックスについての問題。
誰が嘘つきか見極める。
問2 14点×5
a 公理系の無矛盾性とは何か。また、なぜ無矛盾性が必要なのか。
b (A⊃B)⊃(〜A∨B)をNPにおいて証明せよ。
c 〜∀xA⊃∃x〜A(だったような気がする)をNQにおいて証明せよ。
d 忘れた。NPにおける証明問題。
e A⊃AをLPにおいて証明せよ。

訂正 2008/07/19(土) 13:40:59

〜は否定の結合子を表す

お名前	(ペンネーム可、全角15文字以内で入力)
固定HNパスワード
メールアドレス	(省略可、半角で入力)
cookie	←ここまでの情報を保存するときはここをチェック。
発言