ATURAN KUANTIFIKASI

1. Kesimpulan Yang Melibatkan Fungsi Proposisional

Fungsi proposisional berisi variabel bebas, dan karena itu tidak benar atau salah. Tapi fungsi proposisional dibuat menjadi proposisi dengan memiliki semua variabel bebas diganti dengan konstanta, dan contoh substitusi yang dihasilkan bisa benar atau salah. Satu fungsi proposisional dapat dikatakan mengikuti secara sah sebagai kesimpulan dari satu atau lebih fungsi proposisional lain sebagai tempat ketika setiap penggantian occurrances bebas dari variabel dengan konstanta (konstanta yang sama menggantikan variabel yang sama di kedua lokasi dan kesimpulan tentunya) menghasilkan argumen yang valid. Misalnya, fungsi proposisional gx berikut sah dari fungsi proposisional karena setiap penggantian dengan hasil konstan dalam sebuah argumen dari bentuk modus ponens. Dalam diskusi kita sebelumnya fungsi proposisional (dari variabel tunggal x) kami memperkenalkan huruf phi yunani dan psi dan biarkan menunjukkan fungsi proposisional dari x seperti Fx, Gx, Fx.Hx, ... Tidak peduli seberapa rumit fungsi seperti itu mungkin. Ini akan berguna untuk terus menggunakan huruf yunani, memungkinkan untuk menunjukkan fungsi proposisional bergantung pada keadaan paling tidak satu occurances bebas dari variabel x, bahkan termasuk fungsi-fungsi proposisional yang berisi occurances bebas dari variabel lain. Sama, y mungkin menunjukkan salah satu fungsi proposisional Fy, Fy v Gy, Ga Hy, Fw.Fy, (z) [Gz Hy]

2. Instansiasi Menyeluruh

Penyajian aturan kuantifikasi kami akan disertai dengan contoh argumen yang valid yang harus mereka mengizinkan, dan juga dengan contoh argumen yang tidak valid untuk dihindari dengan pembatasan ditempatkan pada aturan-aturan. Kesimpulan berikut ini jelas berlaku (x)Fx , (y)[Fy v Gb] , (z)[Fz Gb ] , (x)[Fx Gy] Fa Fa v Gb Fb Gb Fc Gy

Aturan kuantifikasi pertama kita , Instansiasi menyeluruh , dinyatakan sebagai : UI : () v

Konvensi umum yang mengatur dan berfungsi untuk mencegah seperti kesimpulan yang salah adalah : (x)[(y)(Fx ~ Fy)] (y)(Fy ~ Fy)

3.Eksistensial Generalisasi

Balik sekarang untuk generalisasi eksistensial kita amati bahwa semua berikut ini adalah kesimpulan yang valid : Fa Gb (y)(Fa Gy)

Fa , (x)Fx

Fa (y)Fy

Fa v Gb (x)(Fx v Gb)

Mereka dapat digambarkan secara umum sebagai bentuk : v ()

Aturan kuantifikasi kedua kami, generalisasi eksistensial, dinyatakan sebagai : v ()

EG :

4.Eksistensial Instansiasi

Sebelum membahas formulasi baru kita , Instansiasi eksistensial ini akan berguna untuk menetapkan kebenaran logis dari ekuivalensi dalam bentuk : (v)[v p] [() p] Dimana v terjadi bebas di dalam v sama sekali dan hanya mereka tempat-tempat yang terjadi bebas dalam , dan di mana p tidak mengandung kejadian bebas dari variabel v. Dalam kasus p ini berlaku baik sisi kesetaraan harus benar: karena jika p benar v p dari ini berlaku untuk setiap nilai v benar, dan kebenaran (v)[v p] juga mengikuti segera dari kebenaran () p . Dalam hal ini p salah dan (v)[v p] benar, setiap contoh substitusi v p adalah benar dan begitu setiap contoh substitusi v pasti salah, dimana () harus palsu dan () p adalah benar.

Pembahasan sebelumnya dapat dianggap sebagai justifikasi informal untuk aturan Instansiasi eksistensial, yang sekarang kita nyatakan sebagai : EI: () v . . . P P

5.Generalisasi Menyeluruh

Perumusan rumit dan sangat terbatas dari formulasi EI hanya diberikan izin agak kurang dibatasi aturan generalisasi universal, yang sekarang kita menyatakan sebagai : UG : v () Asalkan v adalah variabel yang tidak terjadi bebas baik di () atau dengan asumsi dalam lingkup letak v.