Now suppose we were to prove some p

Now suppose we were to prove some property about the machine; for instance, suppose we wish to prove that all channels between two nodes are unidirectional. We might state the theorem as follows.

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

Bây giờ giả sử chúng tôi đã chứng minh một số bất động sản về máy; Ví dụ, giả sử chúng tôi muốn chứng minh rằng tất cả các kênh giữa hai nút là unidirectional. Chúng tôi có thể nhà nước định lý như sau.

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

Bây giờ giả sử chúng ta đã chứng minh được một số tài sản về máy; Ví dụ, giả sử chúng ta muốn chứng minh rằng tất cả các kênh truyền hình giữa hai nút là một chiều. Chúng ta có thể nêu các định lý như sau.