若a>b,c>d,求证a-d>b-c,并用三段论的形式指出每一步推理的大前提和小前提
问题描述：
若a>b,c>d,求证a-d>b-c,并用三段论的形式指出每一步推理的大前提和小前提
答
a>b,所以a-b>0
c>d,所以c-d>0
所以 a-b + c-d >0
所以 a-d>b-c
OK?