真值函项

---

逻辑原子主义术语。

逻辑原子主义认为，一切科学知识都由基本命题和由之构成的复合命题来表达。基本命题和复合命题之间有逻辑关系，后者的真值(真或假)取决于前者的真值，后者被称为前者的真值函项。由基本命题构成真值函项，有两种方式。其一是对基本命题施以“非”、“和”、“或”及“如果…那么”等联结词即逻辑常项，也即施以否定、合取、析取及蕴涵等逻辑操作。另一种方式是对基本命题施以“有些”和“所有”两种量词，即量化处理。后一种方式得到的真值函项也称“概括命题”。

真值函项有时专指前一种方式获得的复合命题。