MEDLINEと論理積

ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。

MEDLINEと論理積の違い

MEDLINE vs. 論理積

MEDLINE（メドライン）またはMEDLARS Online (MEDical Literature Analysis and Retrieval System Online) は、医学を中心とする生命科学の文献情報を収集したオンラインデータベースである。1964年に米国国立医学図書館 (National Library of Medicine; NLM) が作成したコンピューター化医学文献データベース「MEDLARS」は、1971年10月27日にオンライン検索サービスが開始され、1997年にはPubMedの名でインターネットに無料公開された後、改良が重ねられて成長を続け、2007年現在、月に7000万回程度のアクセスがある世界で最もよく使用される生物医学系データベースである。. 数理論理学において論理積（ろんりせき、logical conjunction）とは、与えられた複数の命題のいずれもが例外なく真であることを示す論理演算である。合接（ごうせつ）、連言（れんげん、れんごん）とも呼び、ANDとよく表す。 二つの命題 P, Q に対する論理積を P ∧ Q と書き、「P かつ Q」や「P そして Q」などと読む。 ベン図による論理積P \wedge Q の表.

否定

数理論理学において否定 (ひてい、Negation) とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン（Inversion）、論理回路では Not回路やインバータ回路（Inverter）とも呼ばれ入力に対して出力が反転する。 命題 P に対する否定を ¬P, P, !P などと書いて、「P でない」とか「P の否定」、「P 以外の場合」などと読む。 ベン図による論理否定（NOT）.

MEDLINEと否定 · 否定と論理積 · 続きを見る »

論理和

''P'' ∨ ''Q'' のベン図による表現 数理論理学において論理和（ろんりわ、Logical disjunction）とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す論理演算である。離接（りせつ）、選言（せんげん）とも呼び、ORとよく表す。 二つの命題 P, Q に対する論理和を P ∨ Q と書き、「P または Q」と読む。後述のように、日常会話における「または」とは意味が異なる。.

MEDLINEと論理和 · 論理和と論理積 · 続きを見る »

論理演算

論理演算（ろんりえんざん、logical operation）は、論理式において、論理演算子などで表現される論理関数（ブール関数）を評価し（正確には、関数適用を評価し）、変数（変項）さらには論理式全体の値を求める演算である。 非古典論理など他にも多くの論理の体系があるが、ここでは古典論理のうちの命題論理、特にそれを形式化したブール論理に話を絞る。従って対象がとる値は真理値の2値のみに限られる。また、その真理値の集合（真理値集合）と演算（演算子）はブール代数を構成する。 コンピュータのプロセッサやプログラミング言語で多用されるものに、ブーリアン型を対象とした通常の論理演算の他に、ワード等のビット毎に論理演算を行なう演算があり、ビット演算という。 なお、以上はモデル論的な議論であり、証明論的には、公理と推論規則に従って論理式を変形（書き換え）する演算がある（証明論#証明計算の種類）。.

MEDLINEと論理演算 · 論理演算と論理積 · 続きを見る »