We only know that when "P" is true, "$P" must be true. We CANNOT conclude that when "P" is F, "$P" is F. Even when "$P" is T when "P" is F, "P" still entails "$P". In other words,

P     $P


T     T


F     ?