Layanan journal yang disediakan oleh Perpustakaan Universitas Gunadarma
| Judul Artikel | : | PERBANDINGAN SISTEM GENTZEN DENGAN SISTEM LEMMON PADA PEMBUKTIAN V ALIDITAS ARGUMEN |
|---|---|---|
| Judul Terbitan | : | Jurnal : Teknik & Ilmu Komputer |
| ISSN | : | 20893647 |
| Bahasa | : | IND |
| Tempat Terbit | : | Jakarta |
| Tahun | : | 0000 |
| Volume | : | Vol. 6 Issue 21 0000 |
| Penerbit | : | UKRIDA PRESS |
| Frekuensi Penerbitan | : | 4 x 1 tahun |
| 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 |
| Terakreditasi | : | belum |