P,Q是两个合适公式，P∧Q表示合取，P∨Q表示析取，~P表示否定，P->Q表示P蕴含Q，∃表示存在量词，∀表示全称量词，～（∀
2023-12-01人工智能
P,Q是两个合适公式，P∧Q表示合取，P∨Q表示析取，~P表示否定，P->Q表示P蕴含Q，∃表示存在量词，∀表示全称量词，～（∀x）p(x)与哪个等价（）
A.（∀x）p(x)
B.p(x)
C.∃x(~p(x))
D.~p(x)
正确答案是C
