恒真式とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > デジタル大辞泉 > 恒真式の意味・解説 

こうしん‐しき【恒真式】

読み方:こうしんしき

トートロジー


恒真式

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/12/22 06:49 UTC 版)

恒真式(こうしんしき、トートロジー: tautology、ギリシャ語のταυτο「同じ」に由来)とは論理学の用語で、「aならば aである (a → a) 」「aである、または、aでない (a ∨ ¬a)」のように、そこに含まれる命題変数の真理値、あるいは解釈に関わらず常にとなる論理式である。


  1. ^ 清水 1984, pp. 7–15.
  2. ^ 記号論理学”. 静岡理工科大学 菅沼研究室. 2020年9月9日閲覧。
  3. ^ 清水 1984, p. 51.
  4. ^ 清水 1984, pp. 14–15.


「恒真式」の続きの解説一覧


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

辞書ショートカット

すべての辞書の索引

「恒真式」の関連用語

恒真式のお隣キーワード
検索ランキング

   

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



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

   
デジタル大辞泉デジタル大辞泉
(C)Shogakukan Inc.
株式会社 小学館
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの恒真式 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2024 GRAS Group, Inc.RSS