Asked by Wisdom

Show that the following proposition is a tautology [ ( x + r ) ^ ( Z + r ) ^ ( - x - 2 )