4.5 省略假言