Examples

  1. Support : p
    Usable :

  2. Support : ,p q
    Usable :

  3. Support : p,-p
    Usable :

  4. Support : p,-p q,-q r,-r
    Usable :

  5. Support : a b,-a b
    Usable : -b

  6. Support : p(x) p(a),-p(y)
    Usable :

  7. Support : p(x) p(a),-p(x)
    Usable :

  8. Support : p(x),-p(a) q(f(y)),-q(f(g(z)))
    Usable :

  9. Support : p(x,y) p(y,x), -p(u,z) -p(z,u)
    Usable :

  10. Support : p(f(x)) -q(y,a),q(a,a) r(x,x,b) s(a,b),s(a,z) -r(x,x,b),-p(f(a)) r(x,a,b),-s(y,z) -s(a,b)
    Usable :

  11. Support : p(x),-p(x) q(x,y),-q(x,a) -q(b,y) -q(b,a) -p(f(y))
    Usable :

  12. Support : -p(a,d,d)
    Usable : q(d,x,x),q(g(x),x,d),q(u,z,w) -q(x,v,w) -q(y,z,v) -q(x,y,u), q(x,v,w) -q(u,z,w) -q(y,z,v) -q(x,y,u), p(x,y,f(x,y)), q(u,m,w) -p(x,v,w) -q(y,z,v) -p(x,z,m) -p(x,y,u), p(x,v,w) -q(u,m,w) -q(y,z,v) -p(x,z,m) -p(x,y,u)

examples | syntax | info | home | download Last Modified : 18-Dec-2019