Takes in a propositional phrase and returns if the phrase is a tautology, a contradiction, or is contingent.