Kuantor
Generalisasi Eksistensial
Existential generalization (∃-introduction)
Bentuk
Butuh 1 premis.
Kenapa boleh
Ini langkah yang mengubah temuan tentang satu nilai menjadi pernyataan keberadaan. Menemukan satu contoh sudah cukup: itulah arti “ada”.
Contoh
Karena prima dan genap, maka ada bilangan prima genap.
Jebakan
Perhatikan arahnya. Dari “ada” kita tidak boleh kembali ke contoh tertentu tanpa menamainya lebih dulu; dan contoh yang diberikan harus benar-benar memenuhi , bukan hanya mirip.
Dipakai di
Belum ada pembuktian yang memakai aturan ini — daftarnya akan terisi sendiri begitu teorema mulai ditulis, karena setiap langkah mencatat aturan yang dipakainya.