Phân ly

Phân ly , trong logic, mối quan hệ hoặc kết nối các thuật ngữ trong một đề xuất để diễn tả khái niệm “hay”; nó là một tuyên bố về các lựa chọn thay thế (đôi khi được gọi là "sự thay thế"). Để rõ ràng, phép tách biệt riêng (hoặc x hoặc y , nhưng không phải cả hai), được ký hiệu x ⊻ y , phải được phân biệt với phép tách bao hàm (hoặc x hoặc y , hoặc cả x và y ), được ký hiệu là x ∨ y . Xem thêm hàm ý.

Bài báo này đã được sửa đổi và cập nhật gần đây nhất bởi William L. Hosch, Phó Biên tập viên.