Unit 1 Test - Logic

Front

What is a conditional statement?

Back

A conditional statement is a logical statement that has two parts: a hypothesis (if part) and a conclusion (then part). For example, 'If it rains, then the ground is wet.'

Front

What is the Law of Detachment?

Back

The Law of Detachment states that if a conditional statement is true and its hypothesis is true, then the conclusion must also be true.

Front

What is the inverse of a conditional statement?

Back

The inverse of a conditional statement 'If p, then q' is 'If not p, then not q', symbolically represented as @@ eg p ightarrow eg q@@.

Front

What is a hypothesis in a conditional statement?

Back

The hypothesis is the 'if' part of a conditional statement. For example, in 'If today is Tuesday, then we have school', the hypothesis is 'Today is Tuesday'.

Front

What is a conclusion in a conditional statement?

Back

The conclusion is the 'then' part of a conditional statement. For example, in 'If it is raining, then the ground is wet', the conclusion is 'The ground is wet'.

Front

What is a logically equivalent statement?

Back

Two statements are logically equivalent if they have the same truth value in every possible scenario.

Front

What is the contrapositive of a conditional statement?

Back

The contrapositive of a conditional statement 'If p, then q' is 'If not q, then not p', symbolically represented as @@ eg q ightarrow eg p@@.

Front

What is the Law of Syllogism?

Back

The Law of Syllogism states that if 'If p, then q' and 'If q, then r' are both true, then 'If p, then r' is also true.

Front

What does it mean for a statement to be invalid?

Back

A statement is invalid if the conclusion does not logically follow from the premises.

Tags

CCSS.RI.8.1

CCSS.RI.8.8

CCSS.RL.11-12.1

CCSS.RL.8.1

CCSS.RL.9-10.1

Front

What is a biconditional statement?

Back

A biconditional statement is a statement that combines a conditional statement and its converse, expressed as 'p if and only if q', symbolically represented as @@p ightarrow q ext{ and } q ightarrow p@@.