Wk 4 Part 2 ALS461_Basic Logical Concepts Hypothetical Syllogism

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

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

3. 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

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

5. 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

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

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

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

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

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