Law of Detachment
Law of Syllogism
Biconditionals
100

In order for the law of detachment to have a valid conclusion what must be restated after the conditional statement?

Hypothesis

100

Law of Syllogism states:

P -> q

___ -> ___

___ -> r

q, r, p

100

(T/F) A biconditional is written as ___ if an only if ____

True

200

The Law of Detachment states:(p -> q)

(__ is true), (therefore __ is true)

a) p, q

b) q, p

a)

200

What is the conclusion formula under the law of syllogism?

p -> r

200

Is this a biconditional?

"An angle is a right angle if and only if it measures 90 degrees."

yes

300

Is this a valid conclusion?

If an animal is a dog, then it has four legs.

Leonard is a dog.

Therefore, Leonard has four legs.

Yes

300

Make this conclusion valid by filling in the blanks.

If the rainbow starts with red, then it will be orange. If orange follows, yellow will come next. 

Conclusion: If the rainbow starts with _____, it will eventually lead to _______.

red, yellow

300

What two things make up a biconditional statement?

Conditional and converse

400

If it's cloudy outside, then it will rain.

The sky is cloudy. What can I conclude?

It will rain.

400

What is the conclusion to the following statements.

  • If it snows, the roads will be slippery.

  • If the roads are slippery, driving will be dangerous.

  • Conclusion:


If it snows, driving will be dangerous.

400

What is the conditional from the following biconditional?

"a person can vote if and only if they are 18"

if a person can vote, then they are 18 

500

What can you tell me about this statement under the law of detachment?

If an animal is a dog, then it has four legs.

Leonard has four legs.

invalid

500

Write a q -> r statement to make my conclusion true.

  •  If it is Tuesday, I have math class.
  • ___________________________________
  • Conclusion: Therefore, if it is Tuesday, I need my pencils.

If I have math class, I need my pencils.

500

What is the converse of the biconditional

"A number is even if and only if it is a multiple of 2."

If a number is even then it is a multiple of 2.

M
e
n
u