The notions of arithmetic equality

The notions of arithmetic equality and identical sets have analogs in propositional logic. Notice that the expressions ¬((p→q)⊥(q→p)) and p⊕q have identical truth tables. This means that, no matter what truth values are given to the base propositions p and q, these expressions will always have the same truth value. There are several ways to define this property, we use the simplest.

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

Các khái niệm của phép tính số học bình đẳng và giống hệt nhau bộ có chất thay bữa trong propositional logic. Nhận thấy rằng các biểu hiện ¬((p→q)⊥(q→p)) và p⊕q có giống hệt nhau thật bảng. Điều này có nghĩa rằng, không có vấn đề gì giá trị thật được trao cho các cơ sở đề xuất p và q, những biểu thức sẽ luôn luôn có cùng một giá trị thật. Có một số cách để xác định tài sản này, chúng tôi sử dụng đơn giản.

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

Các khái niệm về bình đẳng số học và bộ giống có chất tương tự trong logic mệnh đề. Chú ý rằng các biểu thức ¬ ((p → q) ⊥ (q → p)) và p⊕q có bàn chân giống hệt nhau. Điều này có nghĩa rằng, không có vấn đề gì thật giá trị được trao cho các mệnh đề cơ sở p và q, các biểu thức sẽ luôn luôn có giá trị cùng một sự thật. Có một số cách để xác định tài sản này, chúng tôi sử dụng đơn giản.