>>65
「仮定命題」⊂「命題」
です