MA.912.LT.4.6: Apply methods of direct and indirect proof and determine whether a logical argument is valid.