1. D <-> B
2. ~B -> C
Conclusion: ~D -> B
Granted, these aren't the technical symbols for the language of logic, but i didn't feel like dragging out the character map. Any help w/ this proof would be appreciated!
EDIT: As far as i can tell, there's not interpretation that would form a counter-example (make the conclusion true while the premises are false)
Edited by Heretic Monkey, 19 September 2006 - 09:28 PM.