Dalam logika dan bahasa, proposisi antonim merujuk pada dua pernyataan yang memiliki makna berlawanan. Jika satu proposisi benar, maka proposisi antonimnya pasti salah, dan sebaliknya. Contohnya, proposisi 'Semua kucing adalah mamalia' memiliki antonim yang mungkin seperti 'Tidak semua kucing adalah mamalia'. Memahami proposisi antonim penting untuk penalaran logis dan analisis argumen, memungkinkan kita untuk mengidentifikasi kontradiksi dan memperkuat validitas pernyataan.