En cuanto a (2), lo que dice es que la negación de una proposición verdadera implicará cualquier otra.