ความเท่าเทียมกันเรียกอีกอย่างว่าความเท่าเทียมกันของประพจน์ในทางตรรกศาสตร์และคณิตศาสตร์การก่อตัวของประพจน์จากอีกสองข้อที่เชื่อมโยงกันด้วยวลี "if และ only if" ความเท่าเทียมที่เกิดขึ้นจากสองประพจน์pและqอาจกำหนดได้โดยคำสั่ง“ pเป็นเงื่อนไขที่จำเป็นและเพียงพอสำหรับq ”
