Disjunction introduction

Disjunction introduction is the logic principle that, if A is true, then it's true that either A or B is true.

For example, if it's true that it's raining outside, it's logical disjunction