Use modus ponens or modus tollens to fill in the blanks in the argument below 80 as to produce valid inferences.
If √2 is rational, then √2=a/b for some integers a and b.
It is not true that √2=a/b for some integers a and b.