”（《三国志·诸葛亮传》）若用英文字母依序表示逻辑变项，则上述语句所表达的命题可用符号公式表示为（）