形式的記法とは? わかりやすく解説

形式的記法

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/12 02:20 UTC 版)

モーダスポネンス」の記事における「形式的記法」の解説

推論の最も典型的な形式であり、一般に次のような形式である。 P ならば Q である。 P である。 従って、Q である。 論理演算の記法では次のうになる。 ( ( P → Q ) ∧ P ) ⊢ Q {\displaystyle ((P\to Q)\land P)\vdash Q} ここで、 ⊢ {\displaystyle \vdash } は論理的帰結関係を表す。 モーダスポネンス次のように表記する場合もある。 ( P → Q ) , P Q {\displaystyle \qquad {\frac {(P\rightarrow Q),P}{Q}}} これらはいずれ前提条件2つ存在する第一条件条件文または論理包含演算であり、Q が P を包含することを示す。第二条件は P であり、第一条件条件部分が真であることを主張している。これら2つ前提から論理的に Q が真であることが導かれる

※この「形式的記法」の解説は、「モーダスポネンス」の解説の一部です。
「形式的記法」を含む「モーダスポネンス」の記事については、「モーダスポネンス」の概要を参照ください。

ウィキペディア小見出し辞書の「形式的記法」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「形式的記法」の関連用語

形式的記法のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



形式的記法のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのモーダスポネンス (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS