Symbols:Abbreviations

= A =

AoC
The axiom of choice.

= B =

BNF
Backus-Naur Form (previously Backus Normal Form until the syntax was simiplified by Peter Naur.

It was Donald Knuth who suggested the name change, on the grounds that "normal" is an inaccurate description.

= C =

CNF
Conjunctive normal form.

= D =

DNF
Disjunctive normal form.

= E =

EE
Context: Predicate Logic.

Rule of Existential Elimination, which is another term for the Rule of Existential Instantiation (EI).

EG
Context: Predicate Logic.

Rule of Existential Generalisation.

EI
Context: Predicate Logic.

Rule of Existential Instantiation.

Alternatively, Rule of Existential Introduction, which is another term for the Rule of Existential Generalisation (EG). Beware.

= F =

FCF
Finite continued fraction.

= I =

iff
"If and only if".

ICF
Infinite continued fraction.

I.V.P.
The intermediate value property.

= L =

LHS
"Left hand side".

In an equation:
 * $$\textrm {Expression}\ 1 = \textrm {Expression}\ 2$$

the term $$\textrm {Expression}\ 1$$ is the LHS.

= M =

mno
The minimal negation operator.

= R =

RHS
"Right hand side".

In an equation:
 * $$\textrm {Expression}\ 1 = \textrm {Expression}\ 2$$

the term $$\textrm {Expression}\ 2$$ is the RHS.

= S =

SCF
Simple continued fraction.

SFCF
Simple finite continued fraction.

SICF
Simple infinite continued fraction.

= U =

URM
Unlimited Register Machine. An abstraction of a computing device with certain particular characteristics.

= W =

WFF
Well-formed formula.

WLOG
"Without loss of generality".

Suppose there are several cases which need to be investigated.

If the same argument can be used to dispose of two or more of these cases, then it is acceptable in a proof to pick just one of these cases, and announce this fact with the words: "Without loss of generality, ...", or just "WLOG".

WRT
"With respect to".

When performing calculus operations, i.e. differentiation or integration, one needs to announce which variable one is "working with".

Thus the phrase "with respect to" is (implicitly or explicitly) part of every statement in calculus.

Thus the abbreviation "WRT" or "w.r.t." is frequently seen, and often pronounced something like "wurt".

= Z =

ZF
Zermelo-Fraenkel Set Theory.

ZFC
Zermelo-Fraenkel Set Theory with the Axiom of Choice.