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

辞書 類語・対義語辞典 英和・和英辞典 日中中日辞典 日韓韓日辞典 古語辞典

その他の辞書▼
- 手話辞典
- インドネシア語辞典
- タイ語辞典
- ベトナム語辞典

Weblio 辞書ヘルプ

556の専門辞書や国語辞典百科事典から一度に検索!

無料の翻訳ならWeblio翻訳！

初めての方へ参加元一覧

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

デジタル大辞泉

索引トップ用語の索引ランキング凡例

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

読み方：こうしんしき

⇒トートロジー

ウィキペディア

索引トップ用語の索引ランキングカテゴリー

恒真式

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

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

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

[続きの解説]

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

1 恒真式とは
2 恒真式の概要
3 脚注

>> 「恒真式」を含む用語の索引
恒真式のページへのリンク

辞書ショートカット

1 デジタル大辞泉
2 ウィキペディア

カテゴリ一覧

＋ビジネス

＋業界用語

＋コンピュータ

＋自動車・バイク

＋船

＋建築・不動産

＋ヘルスケア

＋スポーツ

＋辞書・百科事典

すべての辞書の索引

Weblioのサービス

「恒真式」の関連用語

1

ウィキペディア小見出し辞書

78% |||||

2

真理値と恒真式

ウィキペディア小見出し辞書

78% |||||

3

ウィキペディア小見出し辞書

72% |||||

4

トートロジー デジタル大辞泉

54% |||||

5

ウィキペディア小見出し辞書

50% |||||

6

命題論理の場合

ウィキペディア小見出し辞書

50% |||||

7

ダウンタック記号

百科事典

30% |||||

8

百科事典

16% |||||

9

一階の項の統語論的ユニフィケーションの例

ウィキペディア小見出し辞書

14% |||||

10

構文論と証明体系

ウィキペディア小見出し辞書

14% |||||

恒真式のお隣キーワード

恒産なきものは恒心なし

恒産なくして恒心なし

恒真式

検索ランキング

恒真式のページの著作権
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の元に提供されております。

ビジネス｜業界用語｜コンピュータ｜電車｜自動車・バイク｜船｜工学｜建築・不動産｜学問
 文化｜生活｜ヘルスケア｜趣味｜スポーツ｜生物｜食品｜人名｜方言｜辞書・百科事典

ご利用にあたって

・Weblio辞書とは

・検索の仕方

・利用規約

・プライバシーポリシー

・サイトマップ

便利な機能

・ウェブリオのアプリ

・画像から探す

お問合せ・ご要望

・お問い合わせ

会社概要

・公式企業ページ

・会社情報

・採用情報

ウェブリオのサービス

・Weblio 辞書

・類語・対義語辞典

・英和辞典・和英辞典

・Weblio翻訳

・日中中日辞典

・日韓韓日辞典

・フランス語辞典

・インドネシア語辞典

・タイ語辞典

・ベトナム語辞典

・古語辞典

・手話辞典

・IT用語辞典バイナリ

・おすすめのプログラミングスクール情報「Livifun」

©2024 GRAS Group, Inc.RSS