ASYLPOLITIK. Modus tollens är en logiskt giltig bevisform där eftersatsen (2) i en implikation förnekas, med slutsatsen (K) att även försatsen (1) är falsk.
Till exempel:
1. Om Sverige är fullt så är det dags att införa
ettbarnspolitik.
2. Det är inte dags att införa ettbarnspolitik.
K. Sverige är inte fullt.