2015-09-01から1ヶ月間の記事一覧
先日のやつより、以下の量化子に対するタブロー規則が得られる。 からが得られる。aは任意のパラメータでよい からTφ(a)が得られる。aはまだ使われてないパラメータでなければならない。 F∀xφ(x)からTφ(a)が得られる。aはまだ使われてないパラメータでなけれ…
先日のやつより、以下の量化子に対するタブロー規則が得られる。 からが得られる。aは任意のパラメータでよい からTφ(a)が得られる。aはまだ使われてないパラメータでなければならない。 F∀xφ(x)からTφ(a)が得られる。aはまだ使われてないパラメータでなけれ…