様相的形式的記述とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 様相的形式的記述の意味・解説 

様相的形式的記述

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/15 14:28 UTC 版)

論理的帰結」の記事における「様相的形式的記述」の解説

論理的帰結の様相的形式的記述は様相的記述形式的記述組み合わせたもので、以下のような考え方に基づく。 Γ ⊨ {\displaystyle \vDash } A とは、Γ/A と同じ論理的形式主張が、真の前提と偽の結論となることがあり得ないことを意味する論理的帰結直観的理解として、様相的な面と形式的な面がある

※この「様相的形式的記述」の解説は、「論理的帰結」の解説の一部です。
「様相的形式的記述」を含む「論理的帰結」の記事については、「論理的帰結」の概要を参照ください。

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



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

辞書ショートカット

すべての辞書の索引

「様相的形式的記述」の関連用語

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

   

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



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

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

©2025 GRAS Group, Inc.RSS