Addtions to somerby.net/mack/logic

I added operators for strict implication and definite description to somerby.net/mack/logic.  I also added the beginnings of a feature that finds counterexamples for statements that are not necessarily true.  It only works for non-modal statements, but I think I can expand it to work for modal statements as well.