Aren’t proofs by contradiction the standard technique for proving the absence of a property.
You can prove ¬P by proving that P ⇒ FALSE?
Aren’t proofs by contradiction the standard technique for proving the absence of a property.
You can prove ¬P by proving that P ⇒ FALSE?