is an interpretation that associa

 is an interpretation that associates a truth assignment to each primitive proposition in , for each state s  S. Thus,

Results (Vietnamese) 1:

là một giải thích associates gán thật với mỗi đề xuất nguyên thủy, cho mỗi bang s S. Do đó,

Results (Vietnamese) 2:

? là một giải thích rằng liên kết một nhiệm vụ thật cho mỗi đề xuất nguyên thủy trong?, cho mỗi tiểu bang s? S. Như vậy,