等号論理とは？

とうごうろんり

述語論理に等号（=）を加え、「aとbは同一である」を表現できるようにした論理体系です。

等号論理（logic with equality）は一階述語論理に等号記号「=」と「a = b ならば同じ述語が成り立つ」というライプニッツの法則を公理として追加した論理体系である。等号の反射性・対称性・推移性、および置換可能性を公理として持ち、数学の大部分を定式化する際に必要不可欠な道具である。