In the language of extended program

In the language of extended programs, we can distinguish between a query which fails in the sense that it does not succeed and a query which fails in the stronger sense that its negation succeeds.

Kết quả (Việt) 1:

Trong ngôn ngữ của chương trình mở rộng, chúng ta có thể phân biệt giữa một truy vấn mà không thành công trong ý nghĩa rằng nó không thành công và một truy vấn mà không thành công trong ý nghĩa mạnh mẽ hơn của nó phủ định thành công.

Kết quả (Việt) 2:

Trong ngôn ngữ của chương trình mở rộng, chúng ta có thể phân biệt giữa một truy vấn mà không thành công trong ý nghĩa rằng nó không thành công và một truy vấn mà không thành công trong những cảm giác mạnh mẽ rằng sự phủ định của nó thành công.