、(A→B∧A=>B是
·附加律\t\t
·拒收律\t\t
·假言推理\t
·US
出自:佳木斯大学语言治疗学