假言命题被推出

资讯