Kesetaraan , disebut juga kesetaraan proposisi , dalam logika dan matematika, pembentukan proposisi dari dua proposisi lain yang dihubungkan dengan frasa “jika, dan hanya jika”. Kesetaraan yang dibentuk dari dua proposisi p dan q juga dapat didefinisikan dengan pernyataan “ p adalah kondisi yang perlu dan cukup untuk q. ”
