Scanned by CamScanner 1. (50 points) Recall that Modus Tollens inference rule has the form -G F G Let I be a set of formulas. An MT-derivation from I is a list G1, ...Gm (m > 1) of formulas such that, for every i 1) of formulas such that, for every i