Sense and denotation

Given a logical sentence, there are two opposing ways of viewing it

As its sense (dynamic, syntactic) — as the sequence of instructions encoded in syntax.
- $𝐴 \lor 𝐵$ instructs a Disjunction between $𝐴$ and $𝐵$
As its denotation (infinite, static) — as its idealised final result.
- $1 + 5$ denotes the same thing as $6$

Two sentences having the same denotation implies they have the same sense, but the converse is not necessarily true