Up 等式  

  • 二つの対象式ａ，ｂと記号＝でつくられるつぎの記号列は，「等式」と呼ばれる関係式です：
ａ＝ｂ


  • 推論（← 公理＆推論規則）の例

      数項ａ，ｂに対し，ａ＝ｂが真であるときａ＋ｃ＝ｂ＋ｃも真。