Camper5190
New member
- Joined
- May 7, 2020
- Messages
- 1
Hello,
Firstly, I'm not sure if this is the right area to be posting this but someone referred me to this forum for help with this proof. I am not very good at proofs and I think the one I need help with is pretty simple but I could be wrong.
Here are the instructions given to me:
For the argument below, you are given three premises and a conclusion. Construct a formal proof.
1. Small(a) ∨ Medium(b) ;Premise
2. Larger(c, b) ;Premise
3. c = d ;Premise
4. Large(d) ;Conclusion
Attached is a screenshot of the tiny start that I have to this proof. Any help would be very much appreciated!
Firstly, I'm not sure if this is the right area to be posting this but someone referred me to this forum for help with this proof. I am not very good at proofs and I think the one I need help with is pretty simple but I could be wrong.
Here are the instructions given to me:
For the argument below, you are given three premises and a conclusion. Construct a formal proof.
1. Small(a) ∨ Medium(b) ;Premise
2. Larger(c, b) ;Premise
3. c = d ;Premise
4. Large(d) ;Conclusion
Attached is a screenshot of the tiny start that I have to this proof. Any help would be very much appreciated!
