فیلتر (Filter) در منطق (Logic)، در ریاضیات (Mathematics)

انواع فیلترها (Filters)، در منطق و نظریه مدل را در آموزش زیر شرح دادیم :

فیلتر (Filter) در منطق (Logic) :

فیلتر در منطق مجموعه ای از اطلاعات (مثل گزاره ها یا شواهد) است که :

هم خوان و سازگار است (اگر دو گزاره در آن باشند، ترکیب «و» آنها هم در آن است).

پایسته است (اگر گزاره ای در آن باشد، همه نتایج منطقی قوی تر آن نیز در آن هستند).

در واقع فیلتر «مجموعه ای از حقایق پذیرفته شده» را نشان می دهد که با استدلال منطقی گسترش می یابد.