复杂破坏式

---

逻辑学术语。又称复杂式破斥式，指二难推理复杂式的否定式。即二难推理的两个假言前提各有两个不同的前件和后件，由选言前提的两个不同的选言肢分别否定假言前提的两个不同的后件，从而在结论中否定两个假言前提的前件。如“如果真心承认错误就应有悔过的态度；如果有意改正错误就该有改过的行动；现在你或无悔过的态度，或无改过的行动；所以，你或不是真心承认错误，或不是有意改正错误。”它的符号结构式为：

如果p，那么r；

如果q，那么s；

非r或非s；

所以，非p或非q。