自然演繹100題ノック
最小命題論理
直観主義命題論理
#古典命題論理
#古典述語論理
論計舎
川井新
https://ronkeisha.net/materials/ND100.html
https://ronkeisha.net/materials/ND100_70718958.pdf
pdf
難易度のムラがヤバい
一瞬で解ける問題の次が10分ひねってもわからない問題とかがあり,厳しい
仮定の除去とかが結構なんにも明記されていないので,不安なところある
まあ古典述語と古典命題少し触ったら終わりでいいかな
解けてない問題
演習23
演習29