在逻辑学中，如果p是q的充分不必要条件，这意味着当p成立时，q一定成立，但q成立并不一定需要p成立。用集合的语言来说，p的取值集合包含于q的取值集合。
举个例子来说明这个概念：
如果p表示“x^2 - 3x + 20 ≤ 0”，而q表示“x ≤ 5”，那么满足p的x值（即x^2 - 3x + 20 ≤ 0的解）一定满足q（即x ≤ 5），但是满足q的x值不一定满足p（比如x=5时，满足q但不满足p）。
因此，正确的说法是p的取值集合包含于q的取值集合。
