Question

证明：前提┐p∨r，┒q∨s，p∧q 结论：t→（r∧s）离散数学

Answer 1

因为p∧q
所以p和q都是真，所以┒p和┒q都是假。
又因为┐p∨r，┒q∨s都是真，所以必然有r和s都是真。
所以t→（r∧s）
得证。