P1 Either George Washington was an American President, or Abraham Lincoln was an American President
That premise isn't actually true. Unlike TKoL's example of:
Obama was an american president or Arnold Schwarzenegger was an American president.
The operand isn't an OR or logic disjunction, but an "either ... or" or XOR or logical inequality. And for A XOR B
, if either A or B is true, the other MUST be false for the operation to be true. So A and B must not have the same truth value.
So the valid statement would be:
P1 Either George Washington was an American President, or Abraham Lincoln was an American President
P2 George Washington was an American President
C Abraham Lincoln was NOT an American President
(Under the assumption that these names refer to definitive dead people who's status cannot change over time), this would be valid. If the premises would be all true and only one of them could be president and you know which one it was, then the other cannot have been president.
Now it's still not sound because we know that both have been presidents so the first statement is false.
The other case of how true premises can produce an invalid conclusion is shown by causative and TKoL, in that if you use an OR rather than an XOR and show that one of the conditions of the OR is True, then the other could be anything and the statement would still be true. Though as it could be anything you can't conclude that it must be true as well.
Edit: Though if you of course had no idea of who George Washington and Abraham Lincoln are and just known them as A and B placeholder you might be able to argue that the premises are true because so far you'd not have a contradiction. (A XOR B) AND A
could still fit and would imply ¬B
though not B
, so yeah that would be invalid (and as validity is a requirement of soundness, also obviously unsound) because it's the opposite of what it would actually imply.