5. Imposing conditions

Dealing with conditions is one of the cornerstone principles of propositional logic. That is, one proposition asserts another one automatically. Time to say hello to conditionals.