A Better Characterization of Answers
(Exists(w1...wn1)H(w1...wn1))
=> All(x1...xn2, y1...yn3)[G(x1...xn2, y1...yn3)
=> All(z1...zn4)Q(x1...xn2,z1...zn4)].
Q: specific part
G: generic part
H: hypothetical part
Previous slide
Next slide
Back to first slide
View graphic version