Kesetaraan , juga disebut kesetaraan proposisi , dalam logik dan matematik, pembentukan proposisi dari dua yang lain yang dihubungkan oleh frasa "jika, dan hanya jika." Kesetaraan yang terbentuk dari dua proposisi p dan q juga dapat ditentukan oleh pernyataan “ p adalah syarat yang perlu dan mencukupi untuk q. "
