On logic vs information theory If the statements

All crows are black

and

All non black things are non crows

are equal, then why is the former so much easier to communicate by giving examples? What implications does this have on information theory?

This is an interesting question. Here's a stab: Let the statement be $A$. I'm considering two ways of convincing you of $A$.


*

*1) Enumerate all crows, and demonstrate that each one is black.

*2) Enumerate all non-black things, and demonstrate that each one is not a crow.


Now, there are far more non-black things than crow things. So if I give you an example where I point out a crow and demonstrate that it is black, I've made further progress towards convincing you than I would have if I pointed out a non-black thing and demonstrated that it was not a crow.
So I'm likely to choose strategy 1).
Now I'm trying to think of an example where strategy 2) is the better bet, i.e. where there are far more "crows" than there are "non-black" things.
EDIT: Mark Dominus points out that this is a thing; it's called Hempel's Paradox. They use ravens, but that's probably really important.
