prove: (A then B) 1. -F 2. -(-C v T) then F 3. -C then (A then B) 4. T…

prove: (A then B) 1. -F 2. -(-C v T) then F 3. -C then (A then B) 4. T THEN (A THEN B)