AFM.4.a: Determine whether a logical argument is a tautology or a contradiction.