The truth set T of a proposition p,

The truth set T of a proposition p, written T(p), is the set of all elements in the universe U for which p is true.

Since propositions are either true or false, a proposition p divides the universe of discourse into two sets, T(p) and (T(p))′, where T(p) (T(p))′ = U. Notice that (T(p))′ is the same as T(¬p). Truth sets facilitate a clear mapping among set theory, propositional logic, and probability theory.

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

Thật bộ T p đề xuất, viết T(p), là tập hợp của tất cả các yếu tố trong vũ trụ U cho p mà là sự thật.Kể từ khi đề xuất được hoặc là đúng hay sai, một đề xuất p chia vũ trụ của discourse vào hai bộ, T(p) và (T(p)) ′, nơi T(p) (T(p)) ′ = U. thông báo rằng ′ (T(p)) là giống như T(¬p). Thật bộ tạo điều kiện cho một bản đồ rõ ràng trong số các lý thuyết tập hợp, propositional logic, và lý thuyết xác suất.

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

Sự thật đặt T của một p đề xuất, được viết T (p), là tập hợp của tất cả các yếu tố trong vũ trụ U mà p là đúng sự thật. Kể từ mệnh đề là đúng hoặc sai, một mệnh đề p chia vũ trụ của diễn ngôn thành hai bộ , T (p) và (T (p)) ', trong đó T (p) (T (p))' = U. Chú ý rằng (T (p)) 'là giống như T (¬p). Bộ chân lý tạo điều kiện cho một bản đồ rõ ràng giữa các lý thuyết tập hợp, logic mệnh đề, và lý thuyết xác suất.