肯定前件式

  • 网络Modus ponens
肯定前件式肯定前件式