Khác biệt giữa bản sửa đổi của “Khi và chỉ khi”
Nội dung được xóa Nội dung được thêm vào
Không có tóm lược sửa đổi Thẻ: Sửa đổi di động Sửa đổi từ trang di động |
Không có tóm lược sửa đổi |
||
Dòng 1:
{{chú thích trong bài}}{{không nguồn gốc}}
Trong [[logic|logic học]], hai [[mệnh đề toán học|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), trong những điều kiện hoàn toàn như nhau, ta viết:
::"P ⇔ Q"
Từ và những đơn vị tương đương.▼
và đọc là
::"''P'' đúng '''khi và chỉ khi''' ''Q'' đúng"
==Lôgic toán==
Trong lôgic toán, [[bảng chân lý]] của một quan hệ tương đương như sau:
|