If the identification of contradictory literal pairs presupposes a fixed, non-negotiable logical syntax, the reduction embeds a substantive metaphysical assumption about negation that is not itself established by the polynomial-time construction.

?Rate how convincing each reason is below to see the overall strength.

No one has weighed in yet. Be the first to share reasons for or against this statement.

Contradictory literal pairs(logic and reasoning): Two statements where one directly denies the other with no middle ground—like 'it is raining' and 'it is not raining' at the same time and place.
Logical Syntax(as used in logic and philosophy of language): The formal rules and structure of a language, focusing on how symbols and statements are arranged and combined, without worrying about what they mean.
Polynomial-time construction(mathematics and computer science): A mathematical procedure that can be completed in a reasonable amount of time as the problem size grows; a concept from computer science.
metaphysical assumption(metaphysics (the study of what exists)): A belief about what fundamentally exists or what reality is really made of that you're taking for granted without proving it.

Based on where you are in your exploration