Logical implication

Summary