現代数理論理学序説 問題解答例

日本語ホームページ

第１章

• 1.1 論理学と形式的体系
  問題 1.1.3 , 問題 1.1.5 の前半 , 問題 1.1.5 の後半 , 問題 1.1.6 ,
  問題 1.1.9 a , 問題 1.1.9 b , 問題 1.1.9 c , 問題 1.1.9 d , 問題 1.1.9 e ,
  問題 1.1.10 ,
• 1.2 命題論理の体系
  問題 1.2.5-1 , 問題 1.2.5-2 , 問題 1.2.5-3 , 問題 1.2.5-4 , 問題 1.2.5-5 , 問題 1.2.5-6 , 問題 1.2.5-7 , 問題 1.2.5-8 ,
  問題 1.2.7 , 問題 1.2.9 , 問題 1.2.11 , 問題 1.2.15 , 問題 1.2.17 ,
  問題 1.2.21-1 , 問題 1.2.21-2 , 問題 1.2.21-3 , 問題 1.2.21-3 , 問題 1.2.21-4 , 問題 1.2.21-5 , 問題 1.2.21-6 , 問題 1.2.21-7 , 問題 1.2.21-8 , 問題 1.2.21-9 ,
  問題 1.2.25 , 問題 1.2.26 , 問題 1.2.28-1 , 問題 1.2.28-2 , 問題 1.2.30-1 , 問題 1.2.30-2 ,
  問題 1.2.35 , 問題 1.2.39 , 問題 1.2.40 ,
  問題 1.2.48-1 , 問題 1.2.48-2 , 問題 1.2.48-3 , 問題 1.2.48-4 , 問題 1.2.48-5 ,
  問題 1.2.51-K , 問題 1.2.51-S , 問題 1.2.51-P , 問題 1.2.51-A ,
  問題 1.2.52-1 , 問題 1.2.52-2-1 , 問題 1.2.52-2-2 , 問題 1.2.52-2-3 , 問題 1.2.52-2-4 , 問題 1.2.52-2-5 , 問題 1.2.52-2-6 , 問題 1.2.52-2-7 , 問題 1.2.52-2-8 , 問題 1.2.54 ,
  問題 1.2.59 ,
  問題 1.2.60-1a , 問題 1.2.60-1b , 問題 1.2.60-1c , 問題 1.2.60-2 ,
  
• 1.3 ゲンツェンの基本定理
  問題 1.3.6 ,
• 1.4 古典命題論理の意味論
  問題 1.4.1 , 問題 1.4.5 , 問題 1.4.6 ,
  問題 1.4.10 ,
  

第２章

• 2.1 述語論理の体系
  問題 2.1.7-1 , 問題 2.1.7-2 ,
  問題 2.1.13-1 , 問題 2.1.13-2 , 問題 2.1.13-3 , 問題 2.1.13-4 , 問題 2.1.13-5 , 問題 2.1.13-6 , 問題 2.1.13-6a ,
  問題 2.1.15 , 問題 2.1.16-1 , 問題 2.1.16-2 , 問題 2.1.16-3 , 問題 2.1.16-4 ,
  問題 2.1.19-1 , 問題 2.1.19-2 , 問題 2.1.19-3 , 問題 2.1.19-4 ,
  問題 2.1.21 , 問題 2.1.26 ,
• 2.3 古典述語論理の意味論
  問題 2.3.5-1 , 問題 2.3.5-2 , 問題 2.3.5-3 , 問題 2.3.5-4 , 問題 2.3.5-5 ,
  問題 2.3.15 ,

第３章

• 3.1 ラムダ計算の計算能力
  問題 3.1.2 , 問題 3.1.3 , 問題 3.1.5 , 問題 3.1.7 , 問題 3.1.10 ,
• 3.2 ラムダ項の型付けとη変形
  問題 3.2.10 ,

正誤表