To round out the deductive logic unit, here we will look at deductive logic problems where existential quantifiers are present (in other words, it isn’t all just conditional statements). Most of these questions are a type of question called must be true. We will look at must be true solving strategy in more detail in