166 .5　直言三段论-9.5.2　存在假设和直言三段论