Statements and Logic Connectives

Front

What is a disjunction in logic?

Back

A disjunction is a logical operation that combines two statements with the word 'or'. It is true if at least one of the statements is true.

Front

Define a compound statement.

Back

A compound statement is formed by combining two or more individual statements using logical connectives such as 'and', 'or', 'if...then'.

Front

What does the symbol '→' represent in logic?

Back

The symbol '→' represents a conditional statement, indicating that if the first statement (antecedent) is true, then the second statement (consequent) is also true.

Front

Write the disjunction of the statements: 'There are 12 months in the year' and 'There are 24 hours in a day'.

Back

There are 12 months in the year or there are 24 hours in a day.

Front

Classify the statement: 'If it rains, then the ground is wet.'

Back

Compound Statement; Conditional.

Front

What is a simple statement?

Back

A simple statement is a statement that does not contain any logical connectives and expresses a single idea.

Front

What is a conjunction in logic?

Back

A conjunction is a logical operation that combines two statements with the word 'and'. It is true only if both statements are true.

Front

Define negation in logic.

Back

Negation is a logical operation that takes a statement and flips its truth value. If the statement is true, its negation is false, and vice versa.

Front

What is a biconditional statement?

Back

A biconditional statement is a statement that combines two statements with 'if and only if', indicating that both statements are true or both are false.

Front

What is the contrapositive of a conditional statement?

Back

The contrapositive of a conditional statement 'p → q' is '¬q → ¬p', meaning if the conclusion is false, then the hypothesis must also be false.