設(shè)P、Q是一元謂詞,a是個(gè)體常項(xiàng)??紤]如下推演關(guān)系:現(xiàn)欲在橫線上填入一個(gè)公式,使得該推演關(guān)系成立。以下公式中可填入的有:()。
A.?xPxB.?xPxC.PaD.Qa→Pa