HELP WITH MATH

No.12261394 ViewReplyOriginalReport
can anyone help provide formal proof for the following?
?xD(x) ?x[F(x) D(x)].
?x[J(x) T(x)] ?xT(x).
two separate proofs