コトバンクはYahoo!辞書と技術提携しています。

恒真式 こうしんしき valid formula

3件 の用語解説(恒真式の意味・用語解説を検索)

ブリタニカ国際大百科事典 小項目事典の解説

恒真式
こうしんしき
valid formula

空でない (少くとも1つの個体が存在する) 領域で妥当な論理式のこと。言い換えると,所与の領域に属する個体が,可能なあらゆる組合せを行なっても真である論理式のこと。

本文は出典元の記述の一部を掲載しています。

出典|ブリタニカ国際大百科事典 小項目事典
Copyright (c) 2014 Britannica Japan Co., Ltd. All rights reserved.
それぞれの記述は執筆時点でのもので、常に最新の内容であることを保証するものではありません。

デジタル大辞泉の解説

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

トートロジー

出典|小学館 この辞書の凡例を見る
監修:松村明
編集委員:池上秋彦、金田弘、杉崎一雄、鈴木丹士郎、中嶋尚、林巨樹、飛田良文
編集協力:曽根脩
(C)Shogakukan Inc.
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

大辞林 第三版の解説

こうしんしき【恒真式】

出典|三省堂
(C) Sanseido Co.,Ltd. 編者:松村明 編 発行者:株式会社 三省堂 ※ 書籍版『大辞林第三版』の図表・付録は収録させておりません。 ※ それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

世界大百科事典内の恒真式の言及

【トートロジー】より

…このように,すべてのトートロジーは,それがトートロジーであることを保証する命題の型(論理法則)をもつ。この型を恒真式と呼ぶことがある。 演繹的推論の正当性は,トートロジーの概念によって説明される。…

【命題論理学】より

…そして命題論理学を適当に拡張すれば,その多義な用法のどれもが,論理学の枠内でちゃんと表現される,というのが大方の論理学者の予想である。
[恒真式]
 真理値表がすべて真でうまる論理式を〈(命題論理の)恒真式〉という。例えば以下の論理式はすべて恒真式である。…

※「恒真式」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

恒真式の関連キーワードトートロジーアストロロジーエスカトロジークリプトロジーアントロポロジーコスメトロジーサナトロジーテクノロジーアートトリコロジーストロマトロジー

今日のキーワード

アレルギー

語源はギリシャ語。「変わった(変えられた)働き」です。関係しているのは、人間の免疫システム。免疫は本来、人の体を守る仕組みですが、ときに過剰反応し、不快な症状を引き起こすことがあります。それがアレルギ...

続きを読む

コトバンク for iPhone