consists of (i) a nonempty set - th

consists of (i) a nonempty set - the universe of the model, (ii) two elements of the universe - the interpretations of the constants 1 and 2, and (iii) two subsets of the universe - the interpretations (extents) of the predicates p and q. The only restriction on the choice of the interpretations is that it should make all rules of the program true: the object representing 1 must belong to the extent of p, the object representing 2 must belong to the extent of q, and the extent of p must be a subset of the extent of q.

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

bao gồm (i) một bộ nonempty - vũ trụ của mô hình, (ii) hai yếu tố của vũ trụ - những giải thích của các hằng số 1 và 2, và (iii) hai con của vũ trụ - những giải thích (extents) của predicates p và q. Hạn chế duy nhất về sự lựa chọn của những giải thích là rằng nó sẽ làm cho tất cả các quy tắc của sự thật chương trình: đối tượng đại diện cho 1 phải thuộc về phạm vi của p, đối tượng đại diện cho 2 phải thuộc về phạm vi của q, và mức độ của p phải là một tập hợp con của mức độ của q.

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

bao gồm: (i) một tập hợp khác rỗng - vũ trụ của các mô hình, (ii) hai yếu tố của vũ trụ - những sự giải thích của các hằng số 1 và 2, và (iii) hai tập con của vũ trụ - những sự giải thích (mức độ) của predicates p và q. Hạn chế duy nhất vào sự lựa chọn của những sự giải thích là nó phải làm cho tất cả các quy định của chương trình đúng: các đối tượng đại diện cho 1 phải thuộc đến mức p, các đối tượng đại diện cho 2 phải thuộc phạm vi q, và mức độ p phải là một tập hợp con của các phạm vi của q.