| − | Since "red is a color" is true, at least one of the two statements "red is a color" and "Obama is a competent president" is true, and so the single statement "red is a color, or Obama is a competent president, or both" is true. Since we know "red is not a color" is true, the only clause in "red is a color, or Obama is a competent president" which can be true it the latter, ie, "Obama is a competent president." | + | Since "red is a color" is true, at least one of the two statements "red is a color" and "Obama is a competent president" is true, and so the single statement "red is a color, or Obama is a competent president, or both" is true. Since we know "red is not a color" is true, the only clause in "red is a color, or Obama is a competent president" which can be true it the latter, i.e., "Obama is a competent president." |
| | From the false assumption "red both is and isn't a color," we have reached a false conclusion. | | From the false assumption "red both is and isn't a color," we have reached a false conclusion. |