項
項(term)
いろいろなところで項(term)というものが出てくるけれど、そのときどきで何が項なのかは変わっていく
型理論、論理学あたりでよく会うけれど、その都度の論理体系？ごとで定義が変わっている
(1)「変数」は項である
(2)「定数」は項である
(3)「f」が「n変数関数記号」であり、「$ t_1,..., t_n 」が項であれば、「$ f(t_1,..., t_n) 」は「項」である
BNF記法の「|」を使うとこんな表記になる。
項 = 変数 | 定数 | $ t_1, ..., t_n | $ f(t_1,...,t_n)
項 = ○○ OR △△ OR ★★ OR ...
項はある特定の定義した対象の集合
確認用
Q. 項
関連
メモ
調査用
Wikipedia.icon
Wikipedia.icon