判断题先说明定理、定义,然后进行实验验证和实例证明,叫证明式结构。