Much of the expressive power of set

Much of the expressive power of set theory comes from basic operations on sets: union, intersection, and complement. There are other handy operations: relative complement, symmetric difference, and Cartesian product. Each of these is defined next. In each of these definitions, we begin with two sets, A and B, contained in some universe of discourse U. The definitions use logical connectives from the propositional calculus: and ( ⊥ ), or ( ⊦ ), exclusive or ( ⊕ ), and not ( ¬ ).

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

Nhiều quyền lực diễn cảm của lý thuyết tập hợp đến từ các hoạt động cơ bản trên bộ: liên minh, giao lộ, và bổ sung. Có là các hoạt động tiện dụng: bù tương đối, sự khác biệt đối xứng và Descartes. Mỗi trong số này được xác định tiếp theo. Trong mỗi của các định nghĩa này, chúng tôi bắt đầu với hai bộ, A và B, chứa trong một số vũ trụ của discourse U. Các định nghĩa sử dụng hợp lý connectives từ tính toán propositional: và (⊥), hoặc (⊦), độc quyền hoặc (⊕), và không (¬).

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

Phần lớn sức mạnh ý nghĩa của lý thuyết tập hợp xuất phát từ hoạt động cơ bản trên bộ: công đoàn, ngã tư, và bổ sung. Có các hoạt động hữu ích khác: bổ sung tương đối, sai đối xứng, và sản phẩm của Descartes. Mỗi cái được xác định tiếp theo. Trong mỗi định nghĩa, chúng ta bắt đầu với hai bộ, A và B, chứa trong một vũ trụ luận của U. Các định nghĩa sử dụng từ nối logic từ các phép tính mệnh đề: và (⊥), hoặc (⊦), độc quyền hoặc (⊕), và không (¬).