Logic

This set of flashcards covers essential vocabulary related to logic, specifically focusing on conditional and biconditional statements, along with related concepts and definitions.

Conditional Statement

A statement of the form 'if p then q', which is false only when p is true and q is false.

Biconditional Statement

A statement of the form 'p if and only if q', which is true when both p and q have the same truth value.

Negation

The opposite of a statement, denoted by the symbol ~, which has the opposite truth value.

Conjunction

A logical operation represented by 'and' (∧) that is true only when both component statements are true.

Disjunction

A logical operation represented by 'or' (∨) that is false only when both component statements are false.

Antecedent

The first part of a conditional statement (p) that comes before the 'then'.

Consequent

The second part of a conditional statement (q) that follows the 'then'.

Truth Table

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

Symbolic Logic

A formal system that uses symbols to express logical relationships and statements.

Truth Value

The status of a statement indicating whether it is true or false.