3.3 Truth Tables

Front

What is a truth table?

Back

A truth table is a mathematical table used to determine the truth values of logical expressions based on their inputs.

Front

What does the symbol ¬ represent in logic?

Back

The symbol ¬ represents negation, meaning 'not'.

Front

What is the truth value of a negated true statement?

Back

The truth value of a negated true statement is false.

Front

What is the truth value of a negated false statement?

Back

The truth value of a negated false statement is true.

Front

What is a compound statement using the word 'and' called?

Back

Conjunction.

Front

What is a compound statement using the word 'or' called?

Back

Disjunction.

Front

What are the standard symbols used to represent statements in logic?

Back

The standard symbols are typically 'p' and 'q'.

Front

What does a truth table show for a disjunction (p or q)?

Back

A truth table for a disjunction shows that the compound statement is true if at least one of the statements p or q is true.

Front

What does a truth table show for a conjunction (p and q)?

Back

A truth table for a conjunction shows that the compound statement is true only if both statements p and q are true.

Front

What is the definition of a valid argument in logic?

Back

A valid argument is one where if the premises are true, the conclusion must also be true.