ブール‐がた【ブール型】
《Boolean datatype》コンピューターのプログラミング言語などで扱われる変数や定数のデータ形式の一。真と偽の2種類だけの値（真理値）をとりうる。論理和、論理積、否定などを組み合わせた...
ブール‐だいすう【ブール代数】
論理学の命題を記号化し、代数学を使って展開したもの。英国の数学者ブールが創始。
プログラミングてき‐しこう【プログラミング的思考】
物事の動作や順序を理解し、効率的に結果を導くための論理的な思考。広義には、コンピュテーショナルシンキングとほぼ同義。→プログラミング教育
プロダクト‐アウト【product out】
商品の企画開発や生産において作り手の論理や計画を優先させる方法。→マーケットイン
プロログ【PROLOG】
《programming in logic》コンピューターのプログラミング言語の一。論理の記述に適しており、人工知能の研究やエキスパートシステムの分野で利用された。
ベリログ【Verilog】
半導体チップの論理回路を設計するためのハードウエア記述言語（HDL）のシミュレーター。Verilog HDLという、C言語やPASCALに似た文法や記法をもつ言語で記述される。
べんしょう‐ほう【弁証法】
《(ギリシャ)dialektikē／(ドイツ)Dialektik》対話・弁論の技術の意。ソクラテスやプラトンでは、事物の本質を概念的に把握するための方法とされ、アリストテレスでは、真の命題からの...
べんしょうほうてき‐ろんりがく【弁証法的論理学】
《(ドイツ)dialektische Logik》形式論理学に対し、ヘーゲルおよびマルクス主義における論理学。客観的実在および思考の弁証法的な運動・発展の法則を対象とする。
ベン‐ず【ベン図】
《Venn diagram》集合の関係をわかりやすくするため、全体集合を長方形で、部分集合を円で表した図。英国の論理学者ベン（J.Venn）が創始。
ほうかいしゃく‐がく【法解釈学】
実定法の意味をその適用にかなうように論理的、体系的に解き明かす学問。解釈法学。
