Let’s call them H2 and II3, respect

Let’s call them H2 and II3, respectively. Each of the programs has a single answer set, but these sets are different. The answer set of H2 is {“'p}; the answer set of II3 is {^p} q}. Thus, our semantics is not “contrapositive” with respect to and -1; it assigns different meanings to the rules p ->q and q ->p.

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

Hãy gọi cho họ H2 và II3, tương ứng. Mỗi người trong các chương trình có một câu trả lời duy nhất thiết, nhưng các bộ khác nhau. Tập trả lời của H2 là {"'p}; tập trả lời II3 {^ p} q}. Vì vậy, ngữ nghĩa của chúng tôi không phải là "contrapositive" với quan đến và -1; Nó định nghĩa khác nhau để các quy tắc p -> q và q -> p.

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

Hãy gọi cho chúng H2 và II3, tương ứng. Mỗi chương trình có một bộ câu trả lời duy nhất, nhưng những bộ khác nhau. Các bộ câu trả lời của H2 là { " 'p}; bộ câu trả lời của II3 là {} ^ p q}. Như vậy, ngữ nghĩa của chúng tôi không phải là "contrapositive" đối và -1 với; nó gán ý nghĩa khác nhau để các quy tắc p -> q và q -> p.