放送大学の記号論理学って一階述語論理を修得するのに最も良い教材なんじゃないかな
嫁が大学時代記号論理学の授業をはひたすらリピートしてる同級生が居たと言ってたけどなんか分かる