Tính tương đương , còn được gọi là sự tương đương của các mệnh đề , trong logic và toán học, sự hình thành một mệnh đề từ hai mệnh đề khác được liên kết với nhau bằng cụm từ “nếu và chỉ khi”. Sự tương đương được hình thành từ hai mệnh đề p và q cũng có thể được định nghĩa bởi phát biểu “ p là điều kiện cần và đủ đối với q. ”
