Anda di halaman 1dari 12

Pembuktian Validitas

Argumen berKuantor

Diambil dari Logika Matematika


Elementer buku Yaya S Kusumah
Untuk membuktikan, diperlukan aturan tambahan.
(1) Universal Instantiation
Kuantor umum sebuah fungsi proposisi hanya benar jika dan
hanya jika semua subsstitution instance fungsi proposisinya
benar.
Dengan demikian dapat ditarik kesimpulan bahwa suatu
substitution instane sebuah fungsi proposisi dapat ditarik
secara valid dari kuantor umumnya , aturan ini dapat
dinyatakan dengan notasi :
(x) Mx di mana x adalah lambang individual
Ma
Rumus tsb memungkinkan untuk menarik secara valid sebuah
substsitution instanace dari Kuantor Umum sebuah fungsi
proposisi. Oleh karena itu aturan ini dinamakan Universal
Instantiation, UI
Contoh :
Tunjukkan bukti validitas argumen berikut :
Semua kucing adalah hewan menyusui
Puppy adalah seekor kucing
Jadi, Puppy adlah hewan menyusui
Bukti :
1. (x) (Kx  Hx)
2. Kp / Hp
3. Kp  Hp 1, UI
4. Hp 3, 2, MP.
Pada contoh tsb, dimisalkan Kx : x adalah seekor
kucing dan Hx : x adalah hewan menyusui,
sedangkap “p” sebagai wakil dari Puppy
Buktikan validitas argumen berikut :
Semua orang yang sabar akan berati tenang
Tak ada orang berhati tenang cepat naik darah
Ratnasari adala orang yang sabar
Jadi, Ratnasari tidak cepat naik darah
Misal Sx : x adalah orang yang sabar
Tx : x berhati tenang
Cx : x cepat naik darah
r : lambang individu Ratnasari
Bukti
1. (x) (Sx  Tx) Pr.
2. (x) (Tx   Cx) Pr.
3. Sr /  Cr
4. Sr  Tr 1, UI
5. Tr   Cr 2, UI
6. Sr   Cr 4, 5, HS
7.  Cr 6, 3, MP
(2) Universal Generalization, UG
Dalam aturan ini,, ditarik konklusi generalisasi
secara umum. Disimpulkan apa yang merupakan ciri
khas atau sifat suatu individu, yang juga terada
pada individu lain yang sejenis, sehingga akhirnya
ditarik kesimpulan yanag berlaku umum, yaitu
kesimpulan bahwa sifat atau ciri khas tersebut
berlaku pula untuk sembarang individu.
Dengan demikian , jika “a” sbg lambang individu,
maka “Ma” yang benar akan mengakibatkan adnaya
Mx yang benar pula
Ma di mana a adalah lambang individual
(x) Mx
Semua mahasiswa Matematika adalah manusia
Tak ada manusia yang hidup seribu tahun
Jadi, tak ada mahasiswa Matematika yang hidup seribu
tahun.

Bukti :
Misal Ax : x adalah seorang mahasiswa Matematika
Bx : x adalah manusia
Cx : x hidup seratus tahun
1. (x) (Ax  Bx) Pr.
2. (x) (Bx   Cx) Pr. / (x) (Ax   Cx)
3. Aa  Ba 1, UI
4. Ba   Ca 2, UI
5. Aa   Ca 3, 4, HS
6. (x) (Ax   Cx) 5, UG
(3) Existential Generalization, EG
Ingat !!!! , Kuantor Eksistensial (KE) sebuah
fungsi proposisi adalah benar, jika dan hanya jika
fungsi proposisi tersebut memiliki paling sedikit
sebuah substituiton instance yang benar. Ini
memungkinkan dilakukan inferensi dari suatu
substition instance yang benar yang
menghasilkan Kuantor Eksistensial sebuah fungsi
proposisi yang benar pula.

Ma di mana a adalah lambang individual


(∃ x) Mx
Setiap bilangan prima adalah bilangan asli
Jadi, jika 2 adalah bilangan prima, maka beberapa
bilangan prima adalah bilangan asli
Misal Px : x adalah bilangan prima
Ax : x adalah bilangan asli
dan “2” dilambangkan dengan “d”
Validitas argumen dapat disusun :
1. (x) (Px  Ax) Pr. /Pd (∃ x) (Px ᴧ Ax)
2. Pd Pr. / (∃ x) (Px ᴧ Ax), CP
3. Pd  Ad 1, UI
4. Ad 3, 2, MP
5. Pd ᴧ Ad 2, 4, Conj
6. (∃ x) (Px ᴧ Ax) 5, EG
(4) Existential Instantiation, EI
Pd KE sebuah fungsi proposisi paling sedikit ada sebuah
substitusi tertentu yg dpt menggantikan variabel “x” pada
fungsi proposisi tsb, yg akan menghasilkan sebuah
substitution instance. Tidak boleh diketahui sesuatu tentang
konstanta individu tsb, namun dapat diambil satu konstanta
individual lain “a”, misal “y” yang tak pernah muncul dlm
pembuktian yg sedang dilaksanakan. Dgn adanya konstanta
individual “y” ini, dpt ditarik konklusi dari KE sebuah fungsi
proposisi yang mengadung lambang “y”. Aturan ini :
(∃ x) Mx
My
di mana y adalah konstanta individual selain “a” yang tidak
muncul dalam proses pembuktian yang sedang dilakukan
Semua mahasiswa pemenang bea siswa adalah mahasiswa yang
berprestasi
Beberapa mahasiswa matematika adalah pemeneng bea siswa
Jadi, beberapa mahasiswa Matematika adalah mahasiswa yang
berprestasi

Bukti :
1. (x) (Px  Bx) Pr.
2. (∃ x) (Mx ᴧ Px) Pr. / (∃ x) (Mx ᴧ Bx)
3. My ᴧ Py 2, EI
4. Py  By 1, UI
5. Py ᴧ My 3, Comm
6. Py 5, Simp
7. By 4, 6 MP
8. My 3, Simp
9. My ᴧ By 8,7 Cionj
10. (∃ x) (Mx ᴧ Bx) 9, EG
Dapat dilakukan inferensi thd pernyataan yang
mengandung Relasi
Semua kuda adalah binatang
Jadi, setiap kepala kuda adalah kepala binatang

Argumen sangat singkat, dengan menggunakan


Kuantor satu variabel saja tidak dapat diperlihatkan
bahwa argumen tsb valid.

OKI perlu digunakan lebih dari sekedar pernyataan


tunggal. Dalam argumen tsbt harus diterapkan
pernyataan yang menyatakan relasi.
Semua kuda adalah binatang
Jadi, setiap kepala kuda adalah kepala binatang

1. (x) (Px  Qx) Pr.


 (y) (∃ z) (Pz ᴧ Ryz)  (∃ w) (Qw ᴧ Ryw)
2. (y) (∃ z) (Pz ᴧ Ryz) / (∃w) (Qw ᴧ Ryw)
3. (∃z) (Pz ᴧ Rbz) 2, UI
4. Pa ᴧ Rba 3, EI
5. Rba ᴧ Pa 4, Comm
6. Rba 5, Simp
7. Pa  Qa 7, UI
8. Pa 4, Simp
9. Qa 7,8 MP
10. Qa ᴧ Rba 6,9 Conj
11. (∃ w) (Qw ᴧ Rbw) 10, EG