Judul ArtikelPERBANDINGAN SISTEM GENTZEN DENGAN SISTEM LEMMON PADA PEMBUKTIAN V ALIDITAS ARGUMEN
Judul TerbitanJurnal : Teknik & Ilmu Komputer
ISSN 20893647
Bahasa ind
Tempat Terbit Jakarta
Penerbit UKRIDA PRESS
Frekuensi Penerbitan 4 x 1 tahun
Edisi No. 21 / Vol.6 / January 2017
  
Penulis Djoni Dwijono
Abstraksi Membuktikan validitas suatu argumen dengan logika formal yang dinamakan deduksi alami, dapat dilakukan dengan berbagai sistem yang dikembangkan oleh ahli-ahli logika. Dari berbagai sistem, Sistem Gentzen adalah sistem deduksi alami yang pertama kali dikembangkan dan kemudian diikuti dengan berbagai sistem lainnya, misalnya Sistem Lemmon. Sistem Gentzen dengan Sistem Lemmon dapat dikatakan mirip satu sama lain. Makalah ini akan membandingkan Sistem Gentzen dengan Sistem Lemmon dengan langkah-langkah verifikasi untuk membuktikan validitas argumen melalui aturan-aturan inferensi yang digunakan pada kedua sistem tersebut. Dari bukti-bukti yang diperoleh, maka dapat diambil kesimpulan bahwa kedua sistem tersebut sarna. Teknik Tabel digunakan untuk menjelaskan langkah demi langkah pembuktian validitas argumen dengan kedua sistem tersebut.
Kata Kunci Validitas Argumen, Deduksi Alami, Sistem Gentzen, Sistem Lemmon, Teknik Tabel
Lokasi P91
  
Cetak PDFperbandingan-sistem-gentzen-dengan-sistem-lemmon-pada-pembuktian-v-aliditas-argumen
Format XMLXML Journal

Berbagi Pengetahuan dan Informasi

Silahkan Bergabung