真集是指使命題函式$A(x)$為真的所有元素的集合，用符號表示為`{x|A(x)}`。例如，如果命題函式表示的是「$x$是$6$的約數」，那麼這個命題函式的真集就是所有是$6$的約數的數，即`{1, 2, 3, 6}`。需要注意的是，在考慮真集的時候，首先要確定作為函式$A(x)$可以取值的全體集合，也就是全集。例如，在數的場合，必須先確定是全體實數還是全體複數等。
真集是指使命題函式$A(x)$為真的所有元素的集合，用符號表示為`{x|A(x)}`。例如，如果命題函式表示的是「$x$是$6$的約數」，那麼這個命題函式的真集就是所有是$6$的約數的數，即`{1, 2, 3, 6}`。需要注意的是，在考慮真集的時候，首先要確定作為函式$A(x)$可以取值的全體集合，也就是全集。例如，在數的場合，必須先確定是全體實數還是全體複數等。