めいだいろんりとは？

辞典・百科事典の検索サービス - Weblio辞書

初めての方へ

参加元一覧


用語解説|動画|全文検索
Weblio 辞書 > 同じ種類の言葉 > 人文 > 論理 > 論理 > めいだいろんりの意味・解説 

OR事典
日本オペレーションズ・リサーチ学会日本オペレーションズ・リサーチ学会

命題論理

読み方：めいだいろんり
【英】：propositional logic

真か偽のどちらか一方の値をとる言明を命題と呼び, 命題に対する正しい推論形式のことを命題論理という. 命題を\wedge (連言)や\vee (選言), \neg (否定)などの論理記号を組み合わせることによって, 論理式が作られる. 命題論理においては, 公理系と推論規則から定理式を導く構文論と, 個々の命題の真偽と全体の論理式との真偽の関係を論ずる意味論がある. 言明が変数をもつ場合, その言明を述語と呼び一般に命題とは区別される.


索引トップ用語の索引ランキングカテゴリー


めいだいろんりと同じ種類の言葉

論理に関連する言葉
 
認識論理  層の論理  命題論理(めいだいろんり)  部分構造論理  線形時相論理
>>同じ種類の言葉    >>論理に関連する言葉

>> 「めいだいろんり」を解説文に含む用語の一覧

>> 「めいだいろんり」を含む用語の索引
めいだいろんりのページへのリンク
「めいだいろんり」の関連用語
1
命題論理
OR事典
96% |||||

めいだいろんりのお隣キーワード

VR

VaR

Ε-近似アルゴリズム

かんばん方式

たたみ込み

たたみ込み法

めいだいろんり

アウトソーシング

アクティビティ

アクティビティネットワーク

アクティブ運用

アセットアロケーション

アダプティブ・ダイナミクス

モバイル
モバイル版のWeblioは、下記のURLからアクセスしてください。
http://m.weblio.jp/
» モバイルで「めいだいろんり」を見る
_ _   

めいだいろんりのページの著作権
Weblio 辞書情報提供元は参加元一覧にて確認できます。

  
日本オペレーションズ・リサーチ学会日本オペレーションズ・リサーチ学会
Copyright (C) 2012 （社）日本オペレーションズ・リサーチ学会 All rights reserved.

©2012 Weblio RSS