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

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

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

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

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

ローマ法王ともいう。ラテン語 Papaの称号はカトリック教会首長としてのローマ司教 (教皇) 以外の司教らにも適用されていたが,1073年以後教皇専用となった。使徒ペテロの後継者としてキリスト自身の定...

教皇の用語解説を読む