結果 : mathematical logic in programming examples