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