You are viewing the historical archive of The Philosophy Forum.
For current discussions, visit the live forum.
Go to live forum

Need help on how to derive this proof

Cratylus March 24, 2021 at 01:46 1075 views 0 comments Logic & Philosophy of Mathematics
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 ?

Comments (0)