ប្រយោគខាងក្រោមត្រូវបានគេស្គាល់ថាជា "អ្នកផឹកស្រាស្រវឹង"៖ "មាននរណាម្នាក់នៅក្នុងហាងស្រា ដូច្នេះប្រសិនបើគាត់ផឹក មនុស្សគ្រប់គ្នានៅក្នុងហាងស្រាគឺផឹក" ។ វាមិនមានបញ្ហាទេថាតើមនុស្សម្នាក់នោះលើកទឹកចិត្តអ្នកផ្សេងឱ្យផឹក ឬមានទ្វារក្រោយផ្សេងទៀតដូចដែលយើងនឹងឃើញក្នុងពេលឆាប់ៗនេះទេ។ វាគឺជាឧទាហរណ៍ដ៏ល្អមួយពីតក្កវិជ្ជាលំដាប់ទីមួយគណិតវិទ្យា។
យើងចាប់ផ្តើមដោយបញ្ជាក់ថា គ្រប់គ្នាក្នុងហាងផឹកស៊ី ឬយ៉ាងហោចណាស់មនុស្សម្នាក់ក្នុងហាងស្រាមិនផឹកទេ។ ដូច្នេះ ការបែងចែកករណីខាងក្រោមគឺសមរម្យ:
- មនុស្សគ្រប់គ្នាផឹក។ បន្ទាប់មកប្រសិនបើនរណាម្នាក់កំពុងផឹកស្រានៅក្នុងហាងស្រា មនុស្សគ្រប់គ្នានៅក្នុងហាងស្រាគឺផឹក - ដោយសារតែមនុស្សគ្រប់គ្នាកំពុងផឹក។
- យ៉ាងហោចណាស់មនុស្សម្នាក់មិនផឹក។ សម្រាប់អ្នកមិនផឹក វាគឺជាការពិតដែលថាប្រសិនបើពួកគេផឹក មនុស្សគ្រប់គ្នានៅក្នុងហាងផឹក - ដោយសារតែអ្នកនោះមិនផឹក ( \(A \Rightarrow B\) តែងតែជាការពិតនៅពេលដែល \(A\) មិនពិត) ។
ជាផ្លូវការ ទ្រឹស្តីបទអាចត្រូវបានធ្វើជាផ្លូវការដូចខាងក្រោមសម្រាប់ការព្យាករណ៍ណាមួយ \(D\) និងសំណុំមិនទទេ \(P\):
$$\exists x\in P.\ [D(x) \Rightarrow \forall y\in P.\ D(y)]$$