#noindex
조건이 미지수에 따라 참과 거짓이 달라질 때,
조건이 참이 되게 하는 미지수의 집합.

조건(=[[명제함수]]) $p(x)$ 가 참이 되도록 하는 $x$ 들의 모임을, $p(x)$ 의 '''진리집합'''이라고 부름.
즉, $p(x)$ 의 진리집합은 $\left\{x|p(x)\right\}.$

[[해집합solution_set]]이 비슷한 뜻? 같은 뜻?

= 예 =
조건이 $(x-3)(x-4)=0$ 일 때,
해당 진리집합은 $\left\{3,4\right\}$

= 수학백과 =
[[https://terms.naver.com/entry.nhn?docId=3338041&cid=47324&categoryId=47324 수학백과 진리집합]]
집합 $X$ 위에 정의된 [[명제함수]] $p$ 에 대해,
$p(x)$ 가 참이 되는 $x\in X$ 로 이루어진 $X$ 의 부분집합을
명제함수 $p$ 의 '''진리집합'''이라고 한다.

다음은 동치.
 * 명제함수 $p$ 의 진리집합이 $X$
 * [[전칭명제]] $(\forall x\in X)p(x)$ 가 참
ditto.
 * 명제함수 $p$ 의 진리집합이 [[공집합]]이 아님
 * [[존재명제]] $(\exists x \in X)p(x)$ 가 참


= 영어 번역이 truth set? =
이 단어는 수학용어사전에 truth set으로 나오지만, 해당 표현은 영어권 사이트에서는 다른 뜻으로 쓰인다. - 뭘 보고 이렇게 쓴건지 기록이 없네? [[Date(2023-12-22T06:06:49)]]에
Ggl:"truth set logic"
Bing:"truth set logic"
해보니 진리집합 말하는 게 맞음.
https://www.merriam-webster.com/dictionary/truth%20set 여기랑
https://www.thefreedictionary.com/truth+set 의 1. 에서.
 혹시 저것의 2. 같은 것만 나와 있는 결과들을 보고 내가 그렇게 생각했던건가...?
암튼 RENAMETHISPAGE to 뒤에 truth_set 붙인거


----
Up: [[집합set]]
[[진리,truth]]