Inactive Tutor answered 07/29/20
Tutor
New to Wyzant
William
I don't understand the notation in Q2.
In Q1
A ^ B > C ^ B (because A > C) > C ^ D (because B > D). Proved.
Mike
William S.
asked 07/29/20Q1:
A>C, B>D ⊢ (A∧B)>(C∧D)
Q2:
AvB, A>C, B>D ⊢ CvD
Inactive Tutor answered 07/29/20
William
I don't understand the notation in Q2.
In Q1
A ^ B > C ^ B (because A > C) > C ^ D (because B > D). Proved.
Mike
Get a free answer to a quick problem.
Most questions answered within 4 hours.
Choose an expert and meet online. No packages or subscriptions, pay only for the time you need.