Proof by Contrapositive Is Wrong

1 slack3r 3 7/23/2025, 8:46:12 AM

Proof by contrapositive is wrong. There is a true, false and undecidable case also.

Let me explain how it works.

p. =>. q. does not necessarily imply not q ==> not p. There are three cases here. If not q is true, then p can also be undecidable.

Comments (3)

apothegm · 10h ago

If p is undecidable in that case, then p ==> q is false. The meaning of the statement p ==> q is that p is never true without q also being true.

slack3r · 9h ago

You have to first prove that p is not undecidable. This is not being done in many proof by contra-positive based proofs in mathematics. First prove that p is not undecidable is not a step in Analysis I by Terence Tao for instance.

FrankWilhoit · 8h ago

Which letter of "if" do you not understand?

Show HN: Chrome extension to save YouTube timestamps with transcripts (chromewebstore.google.com)

Wayback 0.1 Released as First Preview Release for X11 Compatibility Layer (phoronix.com)

Triassic diapsid shows early diversification of skin appendages in reptiles (nature.com)

Why 24/7 trading is a bad idea (economist.com)

My project made me $18,000 in 7 months. Here's what I did differently this time

U.S. Drafts Plan to End Program That Saved Millions from Aids (nytimes.com)

Qianfan satellite network – China's Starlink rival – is facing serious delays (scmp.com)

Sonos Appoints Tom Conrad as Chief Executive Officer (sonos.com)

Why Are We All Cowards? (linch.substack.com)

Show HN: Vacation Maximizer – Maximize PTO by taking days off around holidays (vacation-maximizer.com)

Missing link to 'blobs' deep within Earth (theconversation.com)

For the Privileged Few, Airport Food Hits a New Height of Luxury (nytimes.com)

AI coding agents in CI/CD pipelines create new attack vectors (stepsecurity.io)

Demis Hassabis Interview [video] (youtube.com)

AI overviews cause massive drop in search clicks (arstechnica.com)

Los Angeles no longer ranks as worst US city for traffic (bbc.com)

The science behind the heat dome – 'a mosh pit' of molecules (grist.org)

R/AI: I'm officially in the "I won't be necessary in 20 years" camp (old.reddit.com)

Zen vs. Tribalism (amandaknox.substack.com)

DeLLMa: Decision Making Under Uncertainty with Large Language Models (dellma.github.io)

WTF? Is GPT Channeling the Bible? (scribd.com)

The Decade of Deep Learning (2019) (bmk.sh)

MetaMask extension bug causes 100s of GBs of extraneous data to be written (tomshardware.com)

AMD CEO Sees Chips from TSMC's US Plant Costing 5%-20% More (bloomberg.com)

Developing Our Position on AI (recurse.com)

How do you manage your taxes? (taxhero.vc)

I co-authored books with GPT. It became more than a mirror

AI industry's size obsession is killing ROI, engineer argues (theregister.com)

Nintendo Switch 2 physical game price differences (sethmlarson.dev)

ICE block founder's wife fired by DOJ in retaliation for the app (newsweek.com)

LLMs Transmit Traits via Hidden Signals to Other Models (twitter.com)

AWS merges malicious PR into Amazon Q (lastweekinaws.com)

Evidence of death row inmate Robert Roberson's innocence stronger (expressnews.com)

AccuWeather to discontinue free access to Core Weather API (developer.accuweather.com)

Ordering Without Barriers: Engineering Our Websites for Accessibility (thesidedish.flipdish.com)

Solid gold superheated to 14 times its melting temperature (nature.com)

Within 5 Years, All Engineers Will Be Systems Integrators (quicktea.ai)

iOS and Android are heading in opposite design directions (birchtree.me)

Helm vs. Kustomize: Differences Explained and How to Combine Them (substack.com)

Show HN: UGMM-NN – A FF neural network using univariate Gaussian mixture neurons (github.com)

Justice Dept. Told Trump in May That His Name Is Among Many in the Epstein Files (wsj.com)

Ask HN: Best Service for Blog Newsletter?

Medical Hypotheses: Could body piercing be a cause of rheumatoid arthritis? (sciencedirect.com)

The world is run by old men in a hurry (archive.is)

Julian LeFay, Father of the Elder Scrolls and demoscene pioneer has passed away (twitter.com)

AppleCare One launches as a single plan to cover multiple Apple devices (appleinsider.com)

For those who run Fedora as a server (versus CentOS/Alma/Rocky), why? (old.reddit.com)

Explore Kinabalu Park and More UNESCO World Heritage Sites (blog.google)

Major Rule About Cooking Meat Turns Out to Be Wrong (seriouseats.com)

FCC proposal aims to Nix long-term gigabit internet speed goals (tomshardware.com)

Proof by Contrapositive Is Wrong

Comments (3)