>>87
申し訳ない。
括弧の位置が違う。

公理P4:((x)∨(y))
→(((z)∨(x)))→((z)∨(y)))