A ⊃ B, B ⊃ C, C ⊃ D /∴ A ⊃ ~(~C v ~D)
I've created the table in order to work through this, but I've no idea what steps to take to create a formal proof (using the proof method) to solve this.
Any help would be greatly appreciated.
Search found 1 match
- Mon May 02, 2016 3:39 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: How to construct a formal proof?
- Replies: 10
- Views: 5682