把命题，两个锐角的和是钝角改写成如果那么的形式。