A= "Trasmettono la partita per televisione"
B= "Faccio i compiti"
¬A →B = " Se non trasmettono la partita per televisione allora faccio i compiti"
¬B= "Non faccio i compiti" = Vero
(¬A→B) ∧ ¬B = ¬¬A = A è un Modus Tollens. Allora trasmettono la partita alla televisione.