# modus ponendo tollens

> if X and Y can't both be true, and X is true, then Y isn't true

**Wikidata**: [Q339606](https://www.wikidata.org/wiki/Q339606)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Modus_ponendo_tollens)  
**Source**: https://4ort.xyz/entity/modus-ponendo-tollens