5 命题是基本命题的真值函项。 基本命题是自身的真值函项。 （真值函项( truth function) 亦称“真值函数”，定义域和值域都为真值的函项。） 501 基本命题是命题的真值主目。 5 …
