展开 在亚里士多德逻辑中命题是