こしょうのき‐かいせき【故障の木解析】
事故や故障を系統的・論理的に分析する手法の一。もっとも望ましくない最上位の事象を定義し、この事象の要因となる中間事象を系統的に重複なく列挙する。次に、中間事象を、さらにこれ以上展開できない基本事...
じゅつご‐ろんり【述語論理】
記号論理学の一部門。命題内部の論理構造である主語と述語の関係「すべての主語は…である」「ある主語は…である」などを、論理記号（全称∀・存在∃など）によって記号化して研究するもの。→命題論理
めいだい‐ろんり【命題論理】
記号論理学の基礎的部門。個々の命題を結合する「かつ」「または」「ならば」「でない」などの関係を、論理記号を用いて論理積（＞）・論理和（＜）・含意（→）・否定（〜）などにより記号化して演算形式に表...
ろんり‐しき【論理式】
論理記号を用いていくつかの命題を結び合わせた式。
