Video notes: Logic – Statements, Connectives, and WFFs

Vocabulary flashcards covering key concepts from the video notes on logic (statements, connectives, wffs, and truth values).

Well-formed Formula (wff)

A syntactically correct expression formed from propositional variables and logical connectives.

Conjunction

A ∧ B; the conjunction of A and B; true only when both A and B are true.

Disjunction

A ∨ B; the disjunction of A and B; true if at least one of A or B is true (inclusive OR).

Implication

A → B; 'If A, then B'; with A as the antecedent and B as the consequent; true in all cases except A true and B false.

Antecedent

The A part of A → B; the condition that is assumed to be true.

Consequent

The B part of A → B; the outcome guaranteed by the antecedent.

Equivalence

A ↔ B; 'A if and only if B'; true when A and B have the same truth value; A implies B and B implies A.

Negation

A’; 'not A'; flips the truth value of A.

Tautology

A wff whose truth value is always true, no matter what the truth values of the components are.

Contradiction

A wff whose truth value is always false.

Sufficient condition

A is a sufficient condition for B if A → B is true (A being true guarantees B).

Necessary condition

B is a necessary condition for A if A → B is true (if A is true, B must be true).

Order of precedence

Rules for evaluating connectives: parentheses first, then negation, then conjunction/disjunction, then implication, then equivalence.