Phủ định là một trong các thuộc tính cơ bản được sử dụng trong pragmatics để thử nghiệm presupposition, và để phân biệt một presupposition từ entailment (và implicature). Trong khi presupposition vẫn không đổi dưới phủ định, entailment thì không. Ví dụ, tổng thống đã bị ám sát đòi hỏi rằng tổng thống là chết. Tổng thống đã không bị ám sát không còn đòi hỏi tổng thống là chết, cũng không phải của nó đối diện, tổng thống có thể đã chết theo cách khác
đang được dịch, vui lòng đợi..
