命題変数を1個だけ含む論理式についてのノート

命題変数を1個だけ含む論理式についてのノートに、
部分論理式を追加。