Rakuten infoseek

辞書

命題論理【メイダイロンリ】

デジタル大辞泉

めいだい‐ろんり【命題論理】
記号論理学の基礎的部門。個々の命題を結合する「かつ」「または」「ならば」「でない」などの関係を、論理記号を用いて論理積(>)・論理和(<)・含意(→)・否定(~)などにより記号化して演算形式に表し、複合された命題を研究する学問。命題計算

出典:小学館
監修:松村明
編集委員:池上秋彦、金田弘、杉崎一雄、鈴木丹士郎、中嶋尚、林巨樹、飛田良文
編集協力:田中牧郎、曽根脩
(C)Shogakukan Inc.
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

世界大百科事典 第2版

めいだいろんり【命題論理】

出典:株式会社平凡社
Copyright (c) Heibonsha Limited, Publishers, Tokyo. All rights reserved.

精選版 日本国語大辞典

めいだい‐ろんり【命題論理】
〘名〙 記号論理学の一分科。個々の命題やそれらを結合する論理的な語を記号化して、合成された命題間の関係を個々の命題の内容に立ち入らず形式的な計算によって明らかにしようとするもの。

出典:精選版 日本国語大辞典
(C)Shogakukan Inc.
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

命題論理」の用語解説はコトバンクが提供しています。

命題論理の関連情報

他サービスで検索

(C)The Asahi Shimbun Company /VOYAGE MARKETING, Inc. All rights reserved.
No reproduction or republication without written permission.