Module 1 - Logic: Truth Values (Negation, Conjunction, Disjunction, Conditional, Biconditional)

Vocabulary flashcards covering the key terms and definitions related to truth values and basic compound statements from Sections 1.3 and 1.4.

Truth table

A table showing the truth value of a statement for all possible truth values of its components.

Truth value

A designation of whether a statement is true (T) or false (F).

Negation (NOT)

The logical opposite of a statement; if p is true, ¬p is false, and if p is false, ¬p is true.

Conjunction (AND)

A compound statement formed with 'and' (p ∧ q); true only when both p and q are true.

Disjunction

A compound statement formed with 'or' (p ∨ q); true when at least one of p or q is true (inclusive).

Conditional

A compound statement formed with 'if p then q' (p → q); false only when p is true and q is false; true in all other cases.

Biconditional

'p if and only if q' (p ↔ q); true when p and q have the same truth value.

Symbol: p ∧ q

Conjunction notation; evaluates to true only if both p and q are true.

Symbol: p ∨ q

Disjunction notation; true if at least one of p or q is true.

Symbol: p → q

Conditional notation; false only if p is true and q is false.

Symbol: p ↔ q

Biconditional notation; true when p and q share the same truth value.

Truth value behavior of negation

Opposite truth Value