The truth-functional connective “or”.

In Logic, “or” is used in the inclusive sense: Inclusive sense of or = and/or Exclusive sense of or = or/but not both. The truth Table P Q Pv Q T T T T F T F T T F F F The intuitive truth table: I have an apple T (I do have an apple) T (I do have an apple) F (I don’t have an apple) F I don’t have an apple) I have an banana T (I Do have a banana) F (I don’t have a banana) T (I Do have a banana) F (I don’t have a banana) I have an apple and/or a banana T (I have both) T (I have an apple) T (I have a banana) F (I do not have an apple and/or a banana)

“One or the other is true” is the same thing as saying “One or the other, or both are true” (P v Q) is true is the same thing as saying P or Q or both are true