Khi và chỉ khiFrom Wikipedia, the free encyclopedia Trong logic học, hai mệnh đề P và Q gọi là tương đương logic hay tương đương với nhau nếu P và Q đồng thời có cùng một giá trị chân lý; nghĩa là P và Q cùng đúng hoặc cùng sai. Ta viết: P ⇔ Q "⇔" gọi là dấu liên hệ tương đương.
Trong logic học, hai mệnh đề P và Q gọi là tương đương logic hay tương đương với nhau nếu P và Q đồng thời có cùng một giá trị chân lý; nghĩa là P và Q cùng đúng hoặc cùng sai. Ta viết: P ⇔ Q "⇔" gọi là dấu liên hệ tương đương.