Pernyataan majemuk adalah pernyataan yang dibentuk dari beberapa pernyataan tunggal yang dihubungkan oleh operator logika, seperti 'dan' (konjungsi), 'atau' (disjungsi), 'jika...maka...' (implikasi), dan 'jika dan hanya jika' (biimplikasi). Memahami pernyataan majemuk sangat penting dalam logika matematika dan pemrograman, karena memungkinkan kita untuk membuat argumen yang kompleks dan memecahkan masalah yang rumit.