Logika Dasar

Logika  adalah  suatu  displin  yang  berhubungan  dengan  metode  berpikir.  Pada  tingkat  dasar,  logika  memberikan  aturan-aturan  dan  teknik-teknik  untuk menentukan  apakah  suatu  argumen  yang  diberikan  adalah  valid.  Berpikir  logis digunakan  dalam matematika  untuk membuktikan  teorema-teorema, dan  dalam  kehidupan sehari-hari  untuk  menyelesaikan  banyak  masalah. Dalam  logika  kita  tertarik  kepada  benar  atau  salahnya  dari  pernyataan-pernyataan (statemen-statemen), dan bagaimana kebenaran/kesalahan dari suatu statemen  dapat  ditentukan  dari  statemen-statemen  lain.  Akan  tetapi,  sebagai pengganti dari statemen-statemen spesifik, kita akan menggunakan simbol-simbol untuk  menyajikan  sebarang  statemen-statemen  sehingga  hasilnya  dapat digunakan dalam banyak kasus yang serupa.