Akademik

Common shorthand for ‘modus tollendo tollens’, the principle of inference entitling us to pass from not-q, and p →q, to not-p .