Conversation

Logic wonks: what is formal account of “absence of evidence is not evidence of absence”? My guess: breakdown of (propositional) proof by contrapositive through addition of existential quantification to the antecedent? Ie p=> q ==~q=>~p but exists x: p(x)=>q(x) ~= ~q(x) => ~p(x)