Documents 1 First order theories. 2 Satisfiability The classic SAT problem: given a propositional formula , is...

Slide 1 1 First order theories Slide 2 2 Satisfiability The classic SAT problem: given a propositional formula , is  satisfiable ? Example:  Let x 1,x 2 be propositional…