Entailment áp dụng tích lũy. Vì vậy, nếu x đòi hỏi Y và Y đòi hỏi z. sau đó X đòi hỏi Z. (Technicaliy, entailment là một quan hệ bắc cầu. Xem phần 18) X. Một số chàng trai chạy xuống streer đòi hỏi Y. Một số trẻ em chạy xuống đường phố. Y Một số trẻ em chạy xuống treet đòi hỏi Z, Một số trẻ em đi xuống phố. Do đó, X, Một số chàng trai chạy xuống đường đòi hỏi Z. Một số trẻ em đi xuống phố. Hai câu có thể được cho là diễn giải của nhau khi và chỉ khi họ có chính xác cùng một bộ ENTAILMENTs: hoặc, mà nói đến những điều tương tự. khi và chỉ khi họ cùng có đòi hỏi lẫn nhau để bất cứ khi nào một sự thật là người kia cũng phải đúng sự thật. John và Mary là cặp song sinh đòi hỏi Mary và John là cặp song sinh.
đang được dịch, vui lòng đợi..
