Hukum-h ukum Aljahar Proposisi
(Aturan Penggantian)
Setiap proposisi yang saling ekivalen dapat dipertukarkan atau diganti antara satu dengan yang lainnya. Di bawah ini disajikan daftar aturan penggantian untuk keperluan deduksi.
Klik pada gambar untuk memperbesar....lalu CTRL +
Contoh
Buktikanlah bahwa:
Penyelesaian:
Catatan:
Untuk membuktikan:
a. apakah dua proposisi ekivalen
b. suatu proposisi tautologi/kontradiksi dapat dilakukan dengan dua cara:
1) dengan menggunakan tabel kebenaran
2) dengan menggunakan aturan penggantian (bukti formal).
Contoh di atas merupakan contoh pembuktian dengan dua proposisi ekivalen, sebuah proposisi tautologi/kontradiksi dengan menggunakan aturan penggantian.
di atas dituliskan daftar aturan penggantian untuk keperluan deduksi.
BalasHapusdeduksi itu maksudnya apa ya? tolong dijelaskan.
itu tu merupakan sebelas hukum penggantian dalam aljabar proposisi
BalasHapusoh gitu ya. tapi aku tetep gak mudeng eeeee
BalasHapushampir mirip seperti teorema gitu....
BalasHapusyang namanya hukum ya gitu...tdak bsa diganggu gugat... dari sononya emang gitu...kalu gini ya jadinya kyak gini...