Philosophical Closure

The guaranteed feeling of following Modus Ponens

1. $P⟹Q$
2. $P$
3. $Q$ If you know P, then you know $Q$

Usage

1. Let P be the claim that you have $20
2. Let Q be the claim that you have atleast $5
3. By closure, if you know that P, then you’re in a position to know Q.