Lo que (1) dice es que una proposición verdadera será implicada por cualquier proposición.