0
![Programming Puzzles & Code Golf Meta](//cdn.sstatic.net/codegolfmeta/img/apple-touch-icon.png)
Implement the Henkin quantifier
code-golf logic
Your goal is to implement the Henkin quantifier Q_H, a generalized quantifier on four variables x1,x2,y1,y2 and a Boolean function f. It expresses the idea that for every choice of the x's, there's a choice of the y's that satisfies f, so that ea...