如何应用?怎样判根据出的式子得出新的式子?