番外的日文

• これに対し結合記号．を，＠ｅｑｕａｔｉｏｎ＿０＠の真理値がｔではなく＠ｅｑｕａｔｉｏｎ＿１＠の真理値がｔのとき＠ｅｑｕａｔｉｏｎ＿２＠．＠ｅｑｕａｔｉｏｎ＿３＠の真理値はｆ，その他のとき＠ｅｑｕａｔｉｏｎ＿４＠．＠ｅｑｕａｔｉｏｎ＿５＠の真理値はｔとなる記号と定義し，これをルールの１番外側の含意記号として使用する．
  与此相对，结合符号．的定义如下：＠ｅｑｕａｔｉｏｎ＿０＠的真值非ｔ，而＠ｅｑｕａｔｉｏｎ＿１＠的真值为ｔ时，＠ｅｑｕａｔｉｏｎ＿２＠．＠ｅｑｕａｔｉｏｎ＿３＠的真值为ｆ，其他情况下，＠ｅｑｕａｔｉｏｎ＿４＠．＠ｅｑｕａｔｉｏｎ＿５＠的真值为ｔ，这也作为规则的最外侧含意符号来使用。