肉豆蔻散4功效与作用

设 A（x）：x 是金子，B（x）：x 是闪光的，则命题“没有不闪光的金子，但闪光的不一定是金子”形式化为（56） 。