Logika adalah cabang filsafat yang mempelajari prinsip-prinsip penalaran yang benar dan valid. Berikut adalah beberapa dasar-dasar logika:

1. Pernyataan (Proposisi):
   • Pernyataan adalah kalimat yang dapat bernilai benar atau salah, tetapi tidak keduanya. Contoh: “Hujan turun hari ini.”
2. Hukum-Hukum Dasar Logika:
   • Hukum Identitas: Sesuatu adalah dirinya sendiri. (A adalah A)
   • Hukum Non-Kontradiksi: Sesuatu tidak bisa sekaligus benar dan salah pada saat yang sama dan dalam konteks yang sama. (A tidak mungkin A dan non-A)
   • Hukum Eksklusi Tengah: Setiap pernyataan benar atau salah. Tidak ada kemungkinan ketiga. (A atau non-A)
3. Operasi Logika:
   • Konjungsi (AND): Pernyataan majemuk yang benar jika kedua pernyataan penyusunnya benar. Dilambangkan dengan (∧).
   • Disjungsi (OR): Pernyataan majemuk yang benar jika salah satu atau kedua pernyataan penyusunnya benar. Dilambangkan dengan (∨).
   • Implikasi (IF…THEN): Pernyataan majemuk yang benar kecuali jika premis pertama benar dan premis kedua salah. Dilambangkan dengan (→).
   • Ekuivalensi (IF AND ONLY IF): Pernyataan majemuk yang benar jika kedua pernyataan penyusunnya memiliki nilai kebenaran yang sama. Dilambangkan dengan (↔).
   • Negasi (NOT): Pernyataan yang benar jika pernyataan asli salah, dan sebaliknya. Dilambangkan dengan (¬).
4. Argumen dan Validitas:
   • Argumen: Serangkaian pernyataan yang terdiri dari satu atau lebih premis dan satu kesimpulan.
   • Validitas: Sebuah argumen dikatakan valid jika kesimpulan logis mengikuti dari premis-premisnya. Validitas berhubungan dengan struktur argumen, bukan dengan kebenaran pernyataan individu.
5. Silogisme:
   • Silogisme Kategorial: Argumen logis yang terdiri dari dua premis dan satu kesimpulan. Contoh:
     • Premis 1: Semua manusia adalah makhluk hidup.
     • Premis 2: Socrates adalah manusia.
     • Kesimpulan: Socrates adalah makhluk hidup.
6. Logika Formal vs. Logika Informal:
   • Logika Formal: Berfokus pada struktur argumen dan menggunakan simbol-simbol formal untuk merepresentasikan pernyataan.
   • Logika Informal: Berfokus pada isi argumen dalam konteks sehari-hari dan bagaimana argumen tersebut digunakan dalam percakapan biasa.

Dengan memahami dasar-dasar ini, kita dapat menganalisis dan membangun argumen yang lebih kuat dan rasional.