"如果p,那么q"是正确的,我们可以说,“p退出q”,记作p=>q.如果p=>q成立,那么p是q的条件;如果p<=q成立,那么p是q的条件;如果p<=>q成立,那么p是q的条件.
举一反三
- 肯定前件式的论证形式是（ ）。 A: 如果p那么q，p，所以，q B: 如果p，那么q，非q，因此，非p C: p或者q，非p，因此，q D: 如果p，那么q；如果q，那么r；因此，如果p，那么
- 下列论证模式中，有效的有（ ）。 A: 如果p那么q，p，所以，q B: 如果p，那么q，非q，因此，非p C: p或者q，非p，因此，q D: 如果p，那么q；如果q，那么r；因此，如果r，那么p E: 如果p，那么q；如果r，那么s；或者q，或者s；所以，或者p，或者
- 如果p假则q假，那么p是q（）条件，非p是非q的（）条件。
- 下列论证模式中，有效的有（ ）。 A: 如果p那么q，p，所以，q B: 如果p，那么q，非q，因此，非p C: 如果p，那么q；如果r，那么s；或者p，或者 D: 如果p，那么q；如果q，那么r；因此，如果p，那么 E: 如果p，那么q；如果r，那么s；或者非q，或者非s；所以，或者非p，或者非
- 如果p⇔q，那么，q⇔p