Jabarkan Domain wacana tak hingga dari Kuantifer (logika)

1 · 2 = 1 + 1, dan 2 · 2 = 2 + 2, dan 3 · 2 = 3 + 3, ..., dan 100 · 2 = 100 + 100, dan ..., dll.

Konjungsi proposisi yang tak hingga dari sudut bahasa formal secara langsung menjadi masalah, karena aturan sintaks dengan menghasilkan kata terbatas.

Contoh di atas, karena prosedur untuk konjungsi. Namun, jika pernyataan dibuat tentang bilangan irasional, tidak ada cara untuk menghitung semua konjungsi, karena irasional tidak disebutkan. Rumus ekuivalen ringkas masalah menggunakan penghitungan universal:

Untuk bilangan asli n, n · 2 = n + n .

Analisis serupa berlaku untuk disjungsi,

1 sama dengan 5 + 5, atau 2 sama dengan 5 + 5, atau 3 sama dengan 5 + 5, ..., atau 100 sama dengan 5 + 5, atau ..., dll.

dirumuskan ulang menggunakan kuantifikasi eksistensial:

Untuk beberapa bilangan asli n, n sama dengan 5 + 5.