2011-01-14から1日間の記事一覧
まず,関数fを procedure f(x) x^2-2*x と定義し,「aが関数fの値域に属する」という条件を rlqe( ex(x,f(x)=a) ); のようにQEすると,RedLogは a + 1 >= 0 と答えます.また,「点x=aにおいてf(x)が極小となる」という条件を rlqe( all(p,p>0 impl ex(q,q>0…
まず,関数fを procedure f(x) x^2-2*x と定義し,「aが関数fの値域に属する」という条件を rlqe( ex(x,f(x)=a) ); のようにQEすると,RedLogは a + 1 >= 0 と答えます.また,「点x=aにおいてf(x)が極小となる」という条件を rlqe( all(p,p>0 impl ex(q,q>0…