方法3.假设后件为假,推出前件也为假。
例如求证:
((A∧B)C)∧D∧(C∨D) A∨B
证明:假设后件A∨B为F,则A与B均为T。
1.如C为F,则(A∧B)C为F,所以
前件((A∧B)C)∧D∧(C∨D) 为F。
2.如C为T,则⑴若D为T,则D为F,所以
前件((A∧B)C)∧D∧(C∨D) 为假;
⑵若D为F,则C∨D为F,所以
前件((A∧B)C)∧D∧(C∨D) 为假。
((A∧B)C)∧D∧(C∨D) A∨B
2022-03-06 20:19:09
2.05MB
东北大学
1