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

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

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

[edit]

예 ¶

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

[edit]

수학백과 ¶

수학백과 진리집합
집합 $\displaystyle X$ 위에 정의된 명제함수 $\displaystyle p$ 에 대해,
$\displaystyle p(x)$ 가 참이 되는 $\displaystyle x\in X$ 로 이루어진 $\displaystyle X$ 의 부분집합을
명제함수 $\displaystyle p$ 의 진리집합이라고 한다.

다음은 동치.