>>477
命題論理を考える際は、命題記号は必然的である、ということを述べておきますね