In classical logic, why is(p⇒q) True if both p and q are False? (math.stackexchange.com)