Logika merupakan studi penalaran (reasoning).

Dalam Kamus Besar Bahasa

Indonesia disebutkan definisi penalaran, yaitu cara berpikir dengan
mengembangkan sesuatu berdasarkan akal budi dan bukan dengan perasaan atau
pengalaman. Pelajaran logika difokuskan pada hubungan antara pernyataanpernyataan (statements
Logika pertama kali dikembangkan oleh filusuf Yunani, Aristoteles, sekitar 2300
tahun yang lalu. Saat ini, logika mempunyai aplikasi yang luas di dalam ilmu
komputer, misalnya dalam bidang pemrograman, analisis kebenaran algoritma,
kecerdasan buatan (artificial intelligence), perancangan komputer, dan sebagainya.
Logika adalah ilmu untuk berpikir dan menalar dengan benar. Secara bahasa,
logika berasal dari kata logos (bahasa Yunani), yang artinya kata, ucapan, pikiran.
Kemudian pengertian itu berkembang menjadi ilmu pengetahuan.
Penalaran yaitu proses berfikir yang bertolak dari pengamatan indera atau
observasi empirik yang menghasilkan sejumlah pengertian dan proposisi sekaligus.
Penalaran erat kaitannya dengan penyimpulan, argumen dan bukti. Penyimpulamn
dalam arti yang sebenarnya tidak mencakup aktivitas menemukan proposisiproposisi disusun dalam premis., akan tetapi hanya memakai hubungan proposisiproposisi dalam premis dan menentukan konklusinya.

Argumen

adalah

rangkaian

pernyataan-pernyataan

yang

mempunyai

ungkapan

pernyataan penarikan kesimpulan (inferensi). Argumen terdiri dari pernyataan-pernyataan yang

terdiri atas dua kelompok, yaitu kelompok pernyataan sebelum kata jadi yang disebut premis
(hipotesa) dan pernyataan setelah kata jadi yang disebut konklusi (kesimpulan).
Contoh argument :
jika air laut surut setelah gempa di laut, maka tsunami datang.air laut surut setelah gempa di
laut. Karena itu tsunami datang.