I was reading a thread that said "a proposition and its negation being false cannot be proven".
Something and its negation being false cannot be proven? Of course it's false.... (Everyone in New York is gay) and (Not everyone in New York is gay) is false because either everyone in New York is gay or not... What other proof do you mathematicians need???
well everyone in new york IS gay, so...
>>8001005
>because either everyone in New York is gay or not
Right, so they can't both be false.
>>8001008
Ted Cruz, pls go
Your question was adressed n that thread, ehy make a new one?
(You also quoted it wrong, why not make a direct quote?)
>>8001005
The logical negation of "everyone in New York is gay" is "there is someone in New York who is not gay".
http://faculty.simpson.edu/lydia.sinapova/www/cmsc180/LN180_Gersting/L06-NegationQ.htm
>>8001445
I think you mean there is at least someone in New York who is not gay.
>>8001495
I think OP is confusing the logical conjunction 'and' with the grammatical conjunction 'and'. In this context 'and' implies both propositions being false at the same time, not their intersection being false.
>>8001495
Yeah but I don't think the OP understood what he wrote is equivalent to that.
>>8001521
I think he understood that fine, he's just misinterpreting what 'and' means in this context. The conjunction of a true statement and a false statement is always false.
>>8001538
The fact that the OP says "because either everyone in New York is gay or not" makes me think otherwise.
>>8001551
He means, either everyone in New York is gay or not everyone in New York is gay. In other words, one of these must be true and the other false, therefore their conjunction is false.