What distinguishes “If the door opens, light will enter” from “The door is open”?

Chapter Two: Propositions, Categorical and Conditional Forms, and Their Parts

• The first asserts a conditional relation; the second makes a direct categorical assertion
• The first is meaningless, the second meaningful
• The second is always false
• The first requires both components actually to be true