日記の練習です。『入門！論理学』、ド・モルガンの法則の証明から始まって、いろいろな命題、平叙文つまり見た目ごく普通の文の証明をしてきたんだけど5章 P.165で「ここまでいくつかの証明を見てきました。もうこの本では証明はでてきません」「別に証明の…