Logicmedium
0:00.0

In a formal logical proof, what is the result of applying Modus Tollens to the premises A    BA \implies B and ¬B\neg B?