Logika

Dari Wikipedia Indonesia, ensiklopedia bebas berbahasa Indonesia.

Secara umum, logika adalah penelitian sistem preskriptif dari pembuktian, yaitu sistem yang dipakai sebagai pemandu bagaimana orang (juga, barangkali, benda/mesin/sistem berintelijensia) dapat membuktikan. Logika mengatakan yang bentuk inferensi yang berlaku dan yang tidak. Secara tradisional, logika dipelajari sebagai cabang filosofi, tetapi juga bisa dianggap sebagai cabang matematika.