Pertemuan 2: Argumen dan Logika Predikat

Sebelum kita mulai, bayangkan dua skenario ini:

• Skenario Debugging: Anda seorang software engineer. Hipotesis Anda: "Jika memory-nya penuh, maka program akan crash. Dan, memory-nya memang penuh." Kesimpulan logis apa yang Anda ambil? Tentu, "Program akan crash."
• Skenario Keamanan: Aturan sistem: "Hanya admin yang dapat menghapus database." Log menunjukkan seorang user berhasil menghapus database. Apa kesimpulan Anda? "User tersebut pastilah seorang admin."

Kedua contoh di atas adalah bentuk dari ARGUMEN LOGIS. Di balik setiap kode if-else yang Anda tulis dan setiap kesimpulan yang Anda ambil, terdapat prinsip-prinsip logika yang akan kita pelajari hari ini.

Di pertemuan pertama, kita membekali diri dengan logika proposisional. Sekarang, kita akan meningkatkan level dengan mempelajari bagaimana menyusun argumen yang solid dan melampaui batas logika proposisional dengan Logika Predikat—senjata untuk mengekspresikan ide-ide seperti "semua" dan "ada beberapa".