เท่ากับ ก็คือ เหมือนกันทุกอย่าง เช่น $P\to Q = P \to Q$
สมนัย หรือ สมมูล ก็ให้ค่าความจริงเหมือนกันทุกกรณี เช่น $P\to Q \equiv \sim P\vee Q$
ประพจน์ที่้เท่ากันจะสมมูลกัน แต่ประพจน์ที่สมมูลกันไม่จำเป็นต้องเท่ากัน
ป.ล. ตอนนี้เขาเปลี่ยนมาใช้สมนัยแทนสมมูลกันแล้วเหรอครับ