A Kripke structure is conveniently

A Kripke structure is conveniently viewed as a graph with labeled nodes connected by labeled edges. The set of nodes is the set of states S; the label of node s S also gives the primitive propositions that are true and false at s. In our simple example, we assume that  contains a single proposition. The logic can be extended to multiple propositions in a straightforward manner.

Results (Vietnamese) 1:

Một cấu trúc Kripke thuận tiện được xem như là một đồ thị với nút có nhãn kết nối bởi có nhãn cạnh. Các thiết lập của nút là tập hợp của kỳ S; nhãn nút s S cũng cung cấp cho các mệnh đề nguyên thủy được đúng và sai tại s. Trong ví dụ đơn giản, chúng tôi giả định rằng có một lời đề nghị đơn. Logic có thể được mở rộng đến nhiều đề xuất một cách đơn giản.

Results (Vietnamese) 2:

Một cấu trúc Kripke thuận tiện xem như là một đồ thị với các nút có nhãn được kết nối bởi các cạnh dán nhãn. Tập hợp các nút là tập hợp của các quốc gia S;? Nhãn của nút s S cũng cung cấp cho các kiến ​​nghị nguyên thủy có đúng và sai ở s. Trong ví dụ đơn giản của chúng tôi, chúng tôi giả định? có một đề nghị duy nhất. Logic có thể được mở rộng để nhiều mệnh đề một cách đơn giản.