河南郑州大盘鸡做法:谓词演算公式