論理計算(読み)ロンリケイサン

関連語 論理演算 名詞

精選版 日本国語大辞典 「論理計算」の意味・読み・例文・類語

ろんり‐けいさん【論理計算】

  1. 〘 名詞 〙
  2. 記号論理学立場から見た推論命題を記号化すればそれらは数式のようなものとなるが、この立場からすれば推論はこれら数式ふうのものの一種の変形操作と見られる。これが通常の数式の計算に似ているところからいう。
  3. きごうろんりがく(記号論理学)

出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報 | 凡例

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

教皇の用語解説を読む