選言
Disjunction
論理和