MTThis is what I wanted!
Rule: if "If P then Q" is true and Q is false, then P is false.
Does "MT" stand for something else?