http://mathworld.wolfram.com/ResolutionPrinciple.html http://mathworld.wolfram.com/ResolutionPrinciple.html http://en.wikipedia.org/wiki/Resolution_(logic) htt

http://mathworld.wolfram.com/ResolutionPrinciple.html http://mathworld.wolfram.com/ResolutionPrinciple.html http://en.wikipedia.org/wiki/Resolution_(logic) http://en.wikipedia.org/wiki/Resolution_(logic) Latin and Greek are much overrated, I think, especially by people like you who never had any. Break out the pitchforks.