solveur logique de prédicat

A x (P(x) V Q(x))
Breakable Buffalo