I am totally lost on how to do this... can anyone help?
What does it mean? I tried to understand what it means before proof but am totally clueless
Philosophy Stack Exchange is a question and answer site for those interested in the study of the fundamental nature of knowledge, reality, and existence. It only takes a minute to sign up.Sign up to join this community
@GrahamKemp is correct. The statement says that if P(x) holds for no member of the universe of discourse, then P(a)->Q(a).
Recall that the truth table for the material conditional informs us that a material conditional statement is true when the antecedent is false.