Symbol Reference

Confirmed course-supported symbols. Set-theory symbols will be added once Chapter 4 materials are verified.

Negation

Read: NOT

Reverses the truth value of a proposition.

Conjunction (wedge)

Read: AND

True only when both operands are True.

Disjunction (vee)

Read: OR

Inclusive OR — false only when both operands are False.

Exclusive OR

Read: exclusive OR (XOR)

True when exactly one operand is True.

Conditional / implication

Read: IF p, THEN q

False only when p is True and q is False.

Biconditional

Read: p IF AND ONLY IF q

True when both truth values match.

Equivalence / congruence

Read: is equivalent to / is congruent to

Context-dependent: logical equivalence between expressions, or modular congruence between integers. The interface labels each use explicitly.

Modulo

Read: mod

Remainder operation: n mod m gives the remainder when n is divided by m.

REMEMBER: ≡ may indicate logical equivalence or modular congruence depending on context. This app labels each use explicitly so the two are never conflated.