ALS461_Exercise 3.2 (Hypothetical Syllogism)

1. If we’re in London, then we’re in England. We are not in England. So, we are not in London.

• modus ponens

• modus tollens

• chain argument

• denying the antecedent

• affirming the consequent

1. If we’re in Los Angeles, then we are in the United States. We are in the United States. So, we are in Los Angeles.

• modus ponens

• modus tollens

• chain argument

• denying the antecedent

• affirming the consequent

1. We’re in Berlin, given that if we are in Berlin, then we are in Germany, and we are in Germany.

• modus ponens

• modus tollens

• chain argument

• denying the antecedent

• affirming the consequent

1. If we’re in the United States, then we are on Earth. We are in the United States. So, we are on Earth.

• modus ponens

• modus tollens

• chain argument

• denying the antecedent

• affirming the consequent

1. If we’re in Paris, then we are in France. If we’re in France, then we are in Europe. So, if we are in Paris, then we are in Europe.

• modus ponens

• modus tollens

• chain argument

• denying the antecedent

• affirming the consequent

1. If we’re in Houston, then we are in the United States. We are not in Houston. So, we are not in the United States.

• modus ponens

• modus tollens

• chain argument

• denying the antecedent

• affirming the consequent

1. If we’re in Shanghai, then we are in China. So, we are in China, because we are in Shanghai.

• modus ponens

• modus tollens

• chain argument

• denying the antecedent

• affirming the consequent

4. We are not in Mexico, because if we are in Mexico City, we are in Mexico, and we are not in Mexico City.

• modus ponens

• modus tollens

• chain argument

• denying the antecedent

• affirming the consequent

1. We can’t be in Rome. We’re not even in Italy, so how can we be in Rome?

• modus ponens

• modus tollens

• chain argument

• denying the antecedent

• affirming the consequent

1. If we’re in Toronto, then we are in Canada. So, because if we are in Canada, we are in North America, if we are in Toronto, then we are in North America.

• modus ponens

• modus tollens

• chain argument

• denying the antecedent

• affirming the consequent