部分関数の記法
$ f(\vec{n})\downarrow
$ \vec{n}が$ fの定義域に入っていることを表す
$ fは部分関数だが、実引数$ \vec{n}が定義域に入っていることを示す $ f(\vec{n})\uparrow
$ \vec{n}が$ fの定義域に入っていないことを表す
お手上げ
$ f(\vec{n})=g(\vec{n'})
$ (A\land B \land C) \lor Dを満たす
$ A~$ Dは以下の通り
$ A:=f(\vec{n})\downarrow
$ B:=g(\vec{n})\downarrow
$ C:=$ f(\vec{n})と$ g(\vec{n'})の値が等しい
$ D:=f(\vec{n})\uparrow\land g(\vec{n})\uparrow
参考