propositional logic proofs solver code example

Example: predicate logic solver

A x (P(x) V Q(x))