2013-03-01から1日間の記事一覧
all,exists の inference rules を証明させます. %for Prover9 ( %LAE ((all y all x (r(y)->q(x,y)))&(all y ((all x q(x,y))->p(y)) )) ->(all y (r(y)->p(y))) )&( %weak LAE LAI (all y ((all x q(x,y))->p(y)) ) <->(all y exists x (q(x,y)->p(y))) )…