logical constant

Noun

(logic) A word or phrase which has an invariant logical meaning and which is useful for forming argument forms.

Japanese Meaning

論理定数：論理的な意味が変わらない単語または句で、論証の形式を構築するのに役立つもの。

In symbolic logic, the biconditional '↔' functions as a logical constant connecting two propositions.

記号論理学において、同値記号（↔）は二つの命題を結ぶ論理定数として働く。

Sense（1）

(logic) A word or phrase which has an invariant logical meaning and which is useful for forming argument forms.

The logical connective OR can be seen to correspond to the logical constant "unless".

logical constants

（ plural ）