前提:∀x(P(x)→Q(x)),∃x(P(x)∧R(x))结论:∃x(Q(x)∧R(x)) 我想问的是 为什么 存在 括号里就是 合取 ,而不是蕴含。:∀x(P(x)→Q(x)),∃x(P(x)∧R(x)) 这两个式子 结构是一样的啊 为什么一个是蕴含 一个是合取??