Logically equivalent expressions me

Logically equivalent expressions mean the same thing, and therefore the original definiens of the horseshoe, ~ (p.~q) may be replaced with no change of meaning by the simpler expression: ~pq. This gives us a very useful definition of material implication: pq is logically equivalent to ~pq. In symbols we write:

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

Tương đương logic biểu thức có nghĩa là cùng một điều, và do đó definiens horseshoe, gốc ~ (p. ~ q) có thể được thay thế bằng không có thay đổi ý nghĩa của biểu thức đơn giản: ~ pq. Điều này cho chúng ta một định nghĩa rất hữu ích của tài liệu: pq là hợp lý tương đương với ~ pq. Trong biểu tượng, chúng tôi viết:

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

Một cách logic biểu thức tương đương có nghĩa giống nhau, và do đó Definiens gốc của móng ngựa, ~ có thể được thay thế không có thay đổi về ý nghĩa của biểu thức đơn giản (p ~ q.): ~ Pq. Điều này cho chúng ta một định nghĩa rất hữu ích trong ý nghĩa vật liệu: pq là hợp lý tương đương với ~ pq. Trong những biểu tượng chúng ta viết: