 Does it involve the rejection of this? One might think it does, on the grounds that “p” is equivalent to “p is true”. So LEM1 and LEM2 stand or fall together. Or one might think like this: “p or q” can be true only if either p is true or q is true (or both are). But, where p is a proposition about a future contingent it is not true, whether the contingent state of affairs comes about or not; neither is its negation true; so the disjunction, “p or not-p” is not true.