Wikipedia:Reference desk/Archives/Mathematics/2017 June 26

= June 26 =

But as logical operator
What logical operator can be associated to the coordinating conjunction but from natural language? (Thanks.)--82.137.14.217 (talk) 22:33, 26 June 2017 (UTC)


 * In English, "but" logically means the same as "and", with a non-logical implication that the second word or phrase somehow contradicts the first word or phrase. CodeTalker (talk) 01:22, 27 June 2017 (UTC)
 * If you mean "not X but Y", you would just use two statements: "~X", and "Y". However, unless "~X" has logical import for the deduction, you'd usually just say "Y". If they are related, as in "~X therefore Y", that would be a single logical proposition. In other words, the conjunction "but" can have different meanings, and you'd need to pick the one that best matches your assumptions.OldTimeNESter (talk) 13:40, 27 June 2017 (UTC)