This is the case, and we could prov

This is the case, and we could prove it with propositional logic.

Venn diagrams are used elsewhere in software development: together with directed graphs, they are the basis of the StateCharts notation [Harel 88], which is among the most rigorous specification techniques supported by CASE technology. StateCharts are also the control notation chosen for the OMT object-oriented methodology [Rumbaugh 91].

The Cartesian product (also known as the cross product) of two sets is more complex; it depends on the notion of ordered pairs, which are two element sets in which the order of the elements is important. The usual notation for ordered and unordered pairs is:

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

Đây là trường hợp, và chúng tôi có thể chứng minh nó với propositional logic.Sơ đồ Venn được sử dụng ở những nơi khác trong phát triển phần mềm: cùng với đạo diễn đồ thị, họ là cơ sở của ký hiệu StateCharts [Harel 88], là một trong số các kỹ thuật đặc điểm kỹ thuật khắt khe nhất được hỗ trợ bởi trường hợp công nghệ. StateCharts cũng là ký hiệu kiểm soát được lựa chọn cho các OMT hướng đối tượng phương pháp [Rumbaugh 91].Descartes (còn được gọi là sản phẩm chéo) của hai bộ là phức tạp hơn; nó phụ thuộc vào các khái niệm của các cặp đã ra lệnh, có hai yếu tố bộ trong thứ tự của các yếu tố đó là quan trọng. Ký hiệu bình thường cho cặp đặt hàng và có thứ tự là:

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

Đây là trường hợp, và chúng ta có thể chứng minh điều đó với logic mệnh đề. Sơ đồ Venn được sử dụng ở những nơi khác trong phát triển phần mềm: cùng với các đồ thị đạo, họ là cơ sở của các biểu đồ trạng thái ký hiệu [Harel 88], đó là một trong những kỹ thuật đặc điểm kỹ thuật khắt khe nhất được hỗ trợ bằng công nghệ CASE. . Biểu đồ trạng thái cũng là những ký hiệu kiểm soát được lựa chọn cho các đối tượng theo định hướng phương pháp OMT [Rumbaugh 91] Các sản phẩm Descartes (còn được gọi là sản phẩm chéo) của hai tập hợp là phức tạp hơn; nó phụ thuộc vào quan niệm của các cặp có thứ tự, đó là hai bộ yếu tố, trong đó thứ tự của các yếu tố này là quan trọng. Cách viết thông thường cho cặp có thứ tự và không thứ tự là: