The law of denying the consequent (also called modus tollens) is a valid form of argument in propositional logic. It states that if 'P implies Q' and 'Q is false,' then 'P must also be false.'
congrats on reading the definition of law of denying the consequent. now let's actually learn it.