"P or Q" is a disjunction; P and Q are called the statement's disjuncts.
"要么P要么Q"是一个析取式；P和Q叫做这个陈述的离析项（disjunct）。