Eşitlik , aynı zamanda mantık ve matematikte önermelerin eşdeğerliği olarak da adlandırılır , "eğer ve sadece eğer" ifadesi ile bağlantılı olan diğer iki önermeden bir önermenin oluşturulmasıdır. İki önermeden oluşan eşdeğerlik p ve q aynı zamanda “ p , q için gerekli ve yeterli bir koşuldur . "
