Task: Question Answering
Input (English): Construct a complete truth table for the following pairs of propositions. Then, using the truth tables, determine whether the statements are logically equivalent or contradictory. If neither, determine whether they are consistent or inconsistent.
~[(G ⊃ H) ∨ ~H] and ~G ⊃ G
(A)Logically equivalent (B)Contradictory (C)Neither logically equivalent nor contradictory, but consistent (D)Inconsistent
Output (English): D