Mary A.
asked • 11/21/23philosophy question
1. (C ⊃ D) ⊃ [G ⊃ (B ⊃ C)]
2. C ⊃ D
3. D ∨ G
4. ~D
More
1 Expert Answer
Yutong Z. answered • 11/25/23
Tutor
New to Wyzant
humanitarian mathematician / formal scientist
I still can't seem to figure out what you meant by these, so I'll just post my comments here:
> Are you trying to deduce 4 from 1-3? That's not possible as 4 is independent from 1-3 (e.g. there can be assignments of truth values that make 1-3 true while 4 false, but also ones where 1-4 are all true).
Feel free to comment/edit to ask further (I'm new to the platform so not sure how it will work).
Still looking for help? Get the right answer, fast.
Ask a question for free
Get a free answer to a quick problem.
Most questions answered within 4 hours.
OR
Find an Online Tutor Now
Choose an expert and meet online. No packages or subscriptions, pay only for the time you need.
Yutong Z.
Are you trying to deduce 4 from 1-3? That's not possible as 4 is independent from 1-3 (e.g. there can be assignments of truth values that make 1-3 true while 4 false, but also ones where 1-4 are all true).11/25/23