By the way, the curious “iff” abbre

By the way, the curious “iff” abbreviation we have been using for “if and only if” is sometimes called the bi-conditional, so the proposition p iff q is really (p→q)⊥(q→p), which is denoted p↔q.

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

Bằng cách này, viết tắt tò mò "iff" chúng tôi đã sử dụng cho "nếu và chỉ nếu" đôi khi được gọi là bi-có điều kiện, do đó, đề xuất p iff q là thực sự (p→q)⊥(q→p), đó là kí hiệu là p.

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

Bằng cách này, những tò mò "khi và chỉ khi" viết tắt, chúng tôi đã được sử dụng cho "nếu và chỉ nếu" đôi khi được gọi là bi-có điều kiện, do đó, các đề xuất p khi và chỉ khi q thực sự là (p → q) ⊥ (q → p), mà được ký hiệu là p↔q.