Thanks so much! Just to clarify though, do you mean "susceptible to proof" means that something is logically capable, or incapable of being proven? Did you mean to say that "If Hilary doesn't win, Mitt will" is something susceptible to proof?
... />
The above has a logically equivalent truth table to the ... A->B is a logically TRUE statement, then NOT B ... ; NOT A must be a logically TRUE statement. Else you could ...