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