2011-01-19から1日間の記事一覧
同じ条件を (E x)(A y)[ 0 y^2 - 2 y >= m ] ]. と入力すると,QEPCADは a >= 0 /\ m + 1 >= 0 /\ m - a^2 + 2 a = 0 /\ m + 1 = 0 ] \/ [ a - 1 と答えます.
同じ条件を (E x)(A y)[ 0 y^2 - 2 y >= m ] ]. と入力すると,QEPCADは a >= 0 /\ m + 1 >= 0 /\ m - a^2 + 2 a = 0 /\ m + 1 = 0 ] \/ [ a - 1 と答えます.