什麼是邏輯變項

命題或推理中的可變部分

邏輯變項是命題或推理中的可變部分，用於表示不同的具體內容。

邏輯變項與邏輯常項相對，邏輯常項是邏輯形式中固定不變的部分，如命題邏輯中的聯結詞，這些常項決定了邏輯形式的性質並區分不同的邏輯形式。在命題中，邏輯變項可以用不同的具體內容替換，從而生成不同的推理或命題。例如，在「所有S是P」的命題中，「所有S是P」是邏輯常項，而「S」和「P」是邏輯變項，可以代表任意的對象或命題。