Modus tollens is a Latin term that refers to a logical argument structure that is used to deduce the truth value of a statement by negating its consequent. It is also known as the deny the consequent rule. In philosophical debates, the term 'modus tollens' is often used as part of logical argumentation to express disagreement or to show the logical inconsistency of an opponent's position. Synonyms for this term include "the denial of the consequent", "negative inference", and "indirect proof". It is an essential tool for critical thinking and is employed in various fields such as mathematics, science, philosophy, and law.