Es seien s 1 , … , s n , t 1 , … , t n {\displaystyle {}s_{1},\ldots ,s_{n},t_{1},\ldots ,t_{n}} Terme, f {\displaystyle {}f} ein n {\displaystyle {}n} -stelliges Funktionssymbol und R {\displaystyle {}R} ein n {\displaystyle {}n} -stelliges Relationssymbol. Zeige, dass die folgenden Aussagen im Prädikatenkalkül ableitbar sind.