1. a ground atom A is true in the

1. a ground atom A is true in the well founded semantics of II iff A
and
2. a ground atom A is false in the well founded semantics of
3. a ground atom A is undefined in the well founded semantics of II if neither of the above two cases hold

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

1. một mặt đất nguyên tử A là đúng ngữ nghĩa cũng được thành lập của II iff A và2. một mặt đất nguyên tử A là sai lầm trong ngữ nghĩa cũng được thành lập của 3. một mặt đất nguyên tử A undefined trong ngữ nghĩa cũng được thành lập của II nếu cả hai trường hợp trên giữ

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

1. một trệt nguyên tử A là đúng trong ngữ nghĩa cũng thành lập của II khi và chỉ khi A
và
2. một nguyên tử mặt đất A là sai trong ngữ nghĩa cũng thành lập của
3. một nguyên tử mặt đất A được định nghĩa trong các ngữ nghĩa cũng thành lập của II nếu không thuộc hai trường hợp trên giữ