論理的結合子(読み)ろんりてきけつごうし(英語表記)logical connection

ブリタニカ国際大百科事典 小項目事典 「論理的結合子」の意味・わかりやすい解説

論理的結合子
ろんりてきけつごうし
logical connection

1個以上の論理定数,変項,式から新しい組み合わせを生成するときの操作を示す記号普通否定¬(~),連言∧,選言∨,含意⊃(⇒,→),同値≡(⇔)の五つが用いられる。

出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報