Coba jelasin Kaidah Inferensi dari Kuantifikasi eksistensial dong

Kaidah inferensi adalah aturan yang membenarkan langkah logis dari hipotesis hingga kesimpulan. Beberapa kaidah inferensi yang memanfaatkan kuantifer eksistensial.

Pengenalan eksistensial (P∃) menyimpulkan bahwa, jika fungsi proposisional diketahui benar untuk elemen tertentu dari domain wacana, maka benar bahwa terdapat elemen fungsi proposisi yang benar. Secara simbolis,

Eliminasi eksistensial, saat dilakukan dalam pengurangan gaya Fitch, melanjutkan dengan memasukkan sub-turunan baru mengganti variabel yang dikuantifikasi secara eksistensial untuk subjek dalam sub-turunan aktif. Jika kesimpulan dapat dicapai dalam sub-turunan dimana subjek substitusi tidak muncul, maka keluar dari sub-turunan dengan kesimpulan. Alasan di balik eliminasi eksistensial (E∃) adalah sebagai berikut: Jika diberikan bahwa elemen fungsi proposisi yang benar, dan jika kesimpulan dapat dicapai dengan elemen trivial, kesimpulan prinsip, selama tidak memuat nama. Secara simbolis, untuk sembarang c dan untuk proposisi Q di mana c tidak muncul:

harus benar untuk semua nilai c pada domain yang sama X; jika, logika tersebut tidak mengikuti: Jika c tidak sembarang, dan sebagai gantinya merupakan elemen spesifik dari domain wacana, maka P(c) tidak dibenarkan lebih banyak informasi tentang objek tersebut.