A predicate P is a hyponym of another predicate Q iff P is a special case of Q: For any pair of predicates P,Q: for all x, P(x) → Q(x)
確定! 回上一頁