We have already been using proposit

We have already been using propositional logic notation; if you were perplexed by this usage before definition, you’re not alone. Set theory and propositional logic have a chicken and egg relationship — it’s hard to decide which should be discussed first. Just as sets are taken as primitive terms, and are therefore not defined, we take propositions to be primitive terms. A proposition is a sentence that is either true or false, and we call these the truth values of the proposition. Furthermore, propositions are unambiguous: given a proposition, it is always possible to tell whether it is true or false. The sentence “Mathematics is difficult” wouldn’t qualify as a proposition because of the ambiguity. We usually denote propositions with lower case letters p, q, and r. Propositional logic has operations, expressions, and identities that are very similar to (in fact they are isomorphic) set theory.

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

Chúng tôi đã sử dụng ký hiệu propositional logic; Nếu bạn đã được perplexed bằng cách sử dụng này trước khi định nghĩa, bạn tôi không đơn độc. Lý thuyết tập hợp và propositional logic có một mối quan hệ con gà và trứng-thật khó để quyết định đó sẽ được thảo luận đầu tiên. Cũng giống như bộ được thực hiện như là thuật ngữ nguyên thủy, và do đó không xác định, chúng tôi có các đề xuất phải điều khoản nguyên thủy. Một đề xuất là một câu đó là đúng hay sai, và chúng tôi gọi những giá trị thật của các đề xuất. Hơn nữa, đề xuất được rõ ràng: đưa ra một đề xuất, nó luôn luôn có thể nói cho dù đó là đúng hay sai. Câu "toán học là khó khăn" sẽ không đủ điều kiện như là một đề xuất vì sự mơ hồ. Chúng tôi thường biểu thị các đề xuất với chữ chữ p, q và r. Propositional logic đã hoạt động, biểu hiện, và thiết lập bản sắc rất tương tự như (trong thực tế, họ là đẳng cấu) lý thuyết.

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

Chúng tôi đã được sử dụng ký hiệu logic mệnh đề; nếu bạn bị lúng túng bởi việc sử dụng này trước khi định nghĩa, bạn không một mình. Thiết lập lý thuyết và logic mệnh đề có mối quan hệ gà và quả trứng - thật khó để quyết định cần được thảo luận đầu tiên. Cũng như bộ được thực hiện như là điều kiện nguyên thủy, và do đó không được xác định, chúng ta có mệnh đề có điều kiện nguyên thủy. Một đề xuất là một câu đó là đúng hoặc sai, và chúng tôi gọi đó là các giá trị chân lý của đề xuất. Hơn nữa, các mệnh đề là rõ ràng: đưa ra một đề xuất, nó luôn luôn có thể nói cho dù đó là đúng hay sai. Câu "Toán học là khó khăn" sẽ không đủ điều kiện như là một đề xuất do sự nhập nhằng. Chúng tôi thường biểu thị các mệnh đề với chữ thường p, q và r. Logic mệnh đề còn hoạt động, biểu thức, và bản sắc đó rất giống với (trong thực tế, họ là đẳng cấu) lý thuyết tập hợp.