邏輯變項

每一命題形式都由邏輯常項和邏輯變項組成。邏輯變項是指命題形式中可變的部分；邏輯常項是指某一命題形式中固定不變的部分。對於簡單命題和複合命題來說其形式是不同的。

簡單命題，例如“所有金屬都是導電的”、“有些顧客不是會員”等，這類命題可以寫成“所有S都是P”、“有些S不是P”的表達形式，其中，“S”和“P”是邏輯變項，“所有……都是……”、“有些……不是……”是邏輯常項。

複合命題，例如“如果天下雨，那么地濕”、“或者你去參加比賽，或者我去參加比賽”等，這類命題可以寫成“如果P，那么Q”、“或者P或者Q”，其中，“P”、“Q”是邏輯變項，“如果……那么……”、“或者……或者……”是邏輯常項。

基本介紹

• 中文名：邏輯變項
• 外文名：Logical Changeable Items

不確定性

同一邏輯形式中邏輯常項，不但決定著該邏輯形式的邏輯性質， 而且還規定或制約著邏輯變項的變化幅度。邏輯變項的任意變化都不超越邏輯常項規定的特定範圍，這就是邏輯變項的確定性；邏輯變項在邏輯常項規定的特定範圍內可以進行的任意變比，這就是邏輯變項的不確定性。邏輯變項就是這種確定性和不確定性的統一體。如果認為邏輯變項可以不受邏輯常項的約束，可以絕對地、無條件地進行任意變化，那么這種理解就是對邏輯常項 和邏輯變項的歪曲的、放任的理解。