Article Per Year (5 Year)
p-Index From 2019 - 2024
0
P-Index
This Author published in this journals
All Journal Journal of Information System, Applied, Management, Accounting and Research
Muhammad Zarlis
Universitas Sumatera Utara (USU) Medan
Computer Science & IT Decision Sciences, Operations Research & Management

Published : 1 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 1 Documents
Search

 1 
FILSAFAT LOGIKA DAN ONTOLOGI ILMU KOMPUTER Verdi Yasin; Muhammad Zarlis; Mahyuddin K.M. Nasution
Journal of Information System, Applied, Management, Accounting and Research Vol 2 No 2 (2018): JISAMAR : Volume 2, Nomor 2, June 2018
Publisher : Sekolah Tinggi Manajemen Informatika dan Komputer Jayakarta

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (587.756 KB)

Abstract

Logika adalah metode atau teknik yang diciptakan untuk meneliti ketepatan penalaran serta mengkaji prinsipprinsip penalaran yang benar dan penarikan kesimpulan yang absah. Ilmu logika berhubungan dengan kalimatkalimat (argumen) dan hubungan yang ada diantara kalimat-kalimat tersebut. Tujuannya adalah memberikan aturan-aturan sehingga orang dapat menentukan apakah suatu kalimat bernilai benar. Kalimat yang dipelajari dalam logika bersifat umum, baik bahasa sehari-hari maupun bukti matematika yang didasarkan atas hipotesahipotesa. Oleh karena itu aturan-aturan yang berlaku di dalamnya haruslah bersifat umum dan tidak tergantung pada kalimat atau disiplin ilmu tertentu. Ilmu logika lebih mengarah dalam bentuk sintaks-sintaks daripada arti dari kalimat itu sendiri. Secara umum logika dibedakan menjadi dua yaitu Logika Pasti dan Logika Tidak Pasti. Logika pasti meliputi Logika Pernyataan (Propotitional Logic), Logika Predikat (Predicate Logic), Logika Hubungan (Relation Logic) dan Logika Himpunan. Sedangkan logika tidak pasti meliputi Logika Samar atau kabur (Fuzzy Logic). Logika Pernyataan membicarakan tentang pernyataan tunggal dan kata hubungnya sehingga didapat kalimat majemuk yang berupa kalimat deklaratif. Logika Predikat menelaah variabel dalam suatu kalimat, kuantifikasi dan validitas sebuah argumen. Logika Hubungan mempelajari hubungan antara pernyataan, relasi simetri, refleksif, antisimtris, dll. Logika himpunan membicarakan tentang unsur-unsur himpunan dan hukum-hukum yang berlaku di dalamnya.
Co-Authors Mahyuddin K. M. Nasution, Mahyuddin K. M. Verdi Yasin