翻訳と辞書
Words near each other
・ 整腸
・ 整腸剤
・ 整腸薬
・ 整膚
・ 整色フィルター
・ 整色性
・ 整色色素
・ 整角四角形
・ 整調
・ 整調リズム
整論理式
・ 整閉
・ 整閉包
・ 整閉整域
・ 整関数
・ 整除
・ 整音
・ 整順
・ 整頓
・ 整風


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

整論理式 : ミニ英和和英辞書
整論理式[しき]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [ろん]
 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment
論理 : [ろんり]
 【名詞】 1. logic 
: [り]
 【名詞】 1. reason 
: [しき]
  1. (n,n-suf) (1) equation 2. formula 3. expression 4. (2) ceremony 5. (3) style 

整論理式 ( リダイレクト:論理式 ) : ウィキペディア日本語版
論理式[ろんりしき]

論理式(ろんりしき、formula、well-formed formula、wff)とは、論理学において所定の形式文法から生成される形式言語の一部をなす文字列、すなわち、与えられたアルファベットに含まれる記号(シンボル)のを意味する〔論理式は論理学の初歩的概念であり、全ての入門書で説明されている。例えば , , 〕。整式整論理式とも。形式言語はその論理式の集合全体と合致するとみなすことができる。
論理式は統語論上の形式的オブジェクトであり、意味論は非形式的に与えることができる。
== 概要 ==
論理式は主に命題論理一階述語論理に代表される述語論理で使われている。その文脈において論理式は記号列 φ であり、φ の中の自由変数に値を設定したとき「φ は真か?」という問いが意味を持つ。形式論理において証明はある特性を持つ一連の論理式で表現され、その並びの最後の論理式は証明結果を意味する。
「論理式」という用語は(紙や黒板などに)書かれた記号列を意味するが、より正確にはその記号列が表現しているものを指していると理解され、記号列は論理式の具体的トークンと理解すべきである。具体的トークンがなくとも論理式は存在しうる。したがって形式言語にはトークン実体の有無に関わらず無限個の論理式が存在する。さらに言えば、1つの論理式は複数のトークン実体を持ちうる。
特に命題論理における論理式は命題と解釈されることが多い。しかし論理式は統語論的実体であり、形式言語における論理式は解釈とは無関係に存在する。論理式は、何かの名前形容詞副詞接置詞命令節、一連の節、一連の名前などに解釈される。ある形式言語の記号群を適当に並べれば、意味を持たない論理式となることもある。さらに言えば、論理式はどんな解釈をされる必要もない。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「論理式」の詳細全文を読む

英語版ウィキペディアに対照対訳語「 Well-formed formula 」があります。




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.