コンピューター用語辞典

日外アソシエーツ株式会社

prenex normal form

冠頭標準形

用例
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

JST科学技術用語日英対訳辞書

独立行政法人科学技術振興機構

prenex normal form

冠頭標準型; 前置標準形

日英・英日専門用語辞書

日中韓辭典研究所

prenex normal form

前置標準形，冠頭標準形

Weblio専門用語対訳辞書

英和辞典・和英辞典 - Weblio辞書

prenex normal form

冠頭標準形
Weblio専門用語対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

Weblio英和対訳辞書

英和辞典・和英辞典 - Weblio辞書

Prenex normal form

冠頭標準形
冠頭標準形（英: prenex normal form）とは、数理論理学において一階述語論理の論理式の形式であり、量化子が論理式の先頭部分に集められている形式を指す（残りの部分をマトリクスと呼び、先頭の各量化子はマトリクス全体にかかっている）。
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

Wiktionary英語版

出典：Wiktionary

prenex normal form

名詞

prenex normal form (uncountable)

  1. (logic) A way of expressing a formula of predicate logic such the formula consists of a prenex and a matrix, with the prenex preceding the matrix.

下位語

ウィキペディア英語版

出典：Wikipedia

Prenex normal form

出典:『Wikipedia』 (2011/06/25 12:04 UTC 版)

英語による解説

ウィキペディア英語版からの引用
引用

A formula of the predicate calculus is in prenex normal form if it is written as a string of quantifiers followed by a quantifier-free part (referred to as the matrix).

prenex normal formのページの著作権