必要条件假言三段论推理有效式是()和()。
出自:法学