Dalam logika, proposisi adalah pernyataan yang dapat bernilai benar atau salah. Namun, proposisi tidak memiliki antonim dalam arti kata lawan seperti dalam bahasa. Lebih tepatnya, lawan dari sebuah proposisi adalah negasinya, yaitu pernyataan yang menyangkal proposisi tersebut. Contoh, jika proposisi adalah 'Semua manusia fana', maka negasinya adalah 'Tidak semua manusia fana'.