Contoh Kuantor Bersusun: Untuk setiap ... terdapat ...

Video ini membahas contoh kuantor bersusun dalam logika, dengan pernyataan "untuk setiap M terdapat N sehingga N kuadrat lebih kecil dari M". Dalam contoh ini, penting untuk memilih N sedemikian rupa agar N kuadrat lebih kecil dari M, yang bergantung pada nilai M yang dipilih. Dengan membatasi M lebih besar sama dengan 1, kita dapat menemukan bahwa memilih N=0 memenuhi persyaratan tersebut. Namun, ketika M=0, tidak ada nilai N yang memenuhi persyaratan, sehingga kalimat tersebut dianggap salah. Kesimpulannya, kalimat tersebut harus benar untuk semua nilai M, termasuk M positif, M=0, dan M lebih kecil dari 0.