Recall that x a is a predicate. Let us define a b as x(x a x b). (Define means anywhere you see a b you can substitute x(x a x b), and vice versa.) Prove, using the methodology from Chapter 3(using rule of inference like Modus ponens,Modus tollens etc) of the textbook, that if a b and b c, then a c.