这种形式的特点是:
两个假言前提有不同的前件和不同的后件;选言前提的选言支分别与两个假言前提的前件内容相同;结论是二支的选言判断,且它的两个选言支分别与两个假言前提的后件内容相同。
其推理形式是:
用符号化的横式可表示为:
(((p→q)∧(r→s))∧(p∨r))→(q∨s)
例如:
这种形式的特点是:
两个假言前提有不同的前件和不同的后件;选言前提的选言支分别与两个假言前提的前件内容相同;结论是二支的选言判断,且它的两个选言支分别与两个假言前提的后件内容相同。
其推理形式是:
用符号化的横式可表示为:
(((p→q)∧(r→s))∧(p∨r))→(q∨s)
例如: