論理へのアプローチ_2.命題とは