Need help on how to derive this proof
Cratylus 2021-03-24
First :This is not home work
I use the Logic Book.
This problem has to be done in SD+
I tried everything and gotten nowhere
I request hints with the rules and how to solve it
Derive I=>~D
1.(F &G) v (H &~I) Assume
2. I=>~(F & D) ?
3.| F&D =>~l. ?
4.~I=>(F=>D) 3 exp ?
I use the Logic Book.
This problem has to be done in SD+
I tried everything and gotten nowhere
I request hints with the rules and how to solve it
Derive I=>~D
1.(F &G) v (H &~I) Assume
2. I=>~(F & D) ?
3.| F&D =>~l. ?
4.~I=>(F=>D) 3 exp ?
Comments (0)