形式邏輯 日期篩選