Recent content by Dan Christensen

From the truth table for ##A\implies B##, if ##B## is false and ##A\implies B## is true, then the only possibility is that ##A## is false. Applying this fact to your problem, ##p## must be false and, therefore, ##p \implies q## must be true regardless of what ##q## may be (See (3) below)...