判斷題先說明定理、定義，然后進行實驗驗證和實例證明，叫證明式結構。