Mỗi của các luật là một hệ quả logic của các Định nghĩa Ca
tions của ma trận hoạt động khác nhau. Để cung cấp bằng chứng chính thức
của tất cả chúng là một thời gian dài, nhưng thường xuyên, nhiệm vụ; một ví dụ về một ví dụ
chứng minh sẽ được đưa ra trong thời gian ngắn. Cần phải nhấn mạnh rằng sự quen thuộc
với những luật này là cần thiết nếu ma trận là được chế tác
một cách chính xác.
đang được dịch, vui lòng đợi..