ตัวอย่าง : ภาษาที่มนุษย์ใช้มีลักษณะเป็นคำพูด หรือเป็นสมการในการคำนวณ แบบเดียวกับที่ใช้ในวิชาพีชคณิต
คำอธิบาย : ข้อความที่แสดงความเท่ากันของนิพจน์ 2 นิพจน์ เฉพาะบางค่าของตัวไม่ทราบค่าที่ปรากฏในนิพจน์นั้นๆ หรือการเหมือนกันของข้อความย่อย 2 ข้อความที่ปรากฏอยู่ทางด้านซ้ายและด้านขวาของเครื่องหมาย =