# Work ䷪

## Theme One Program • Exposition 6

### PNG

$\text{Existential Interpretation}$

$\text{Entitative Interpretation}$

### HTML + LaTeX + JPG

$\text{Existential Interpretation}$
$\text{Graph}$ $\text{Expression}$ $\text{Interpretation}$

$~$ $\mathrm{true}$

$\texttt{(} ~ \texttt{)}$ $\mathrm{false}$

$a$ $a$

$\texttt{(} a \texttt{)}$ $\begin{matrix} \tilde{a} \\[2pt] a^\prime \\[2pt] \lnot a \\[2pt] \mathrm{not}~ a \end{matrix}$

$a~b~c$ $\begin{matrix} a \land b \land c \\[6pt] a ~\mathrm{and}~ b ~\mathrm{and}~ c \end{matrix}$

$\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}$ $\begin{matrix} a \lor b \lor c \\[6pt] a ~\mathrm{or}~ b ~\mathrm{or}~ c \end{matrix}$

$\texttt{(} a \texttt{(} b \texttt{))}$ $\begin{matrix} a \Rightarrow b \\[2pt] a ~\mathrm{implies}~ b \\[2pt] \mathrm{if}~ a ~\mathrm{then}~ b \\[2pt] \mathrm{not}~ a ~\mathrm{without}~ b \end{matrix}$

$\texttt{(} a, b \texttt{)}$ $\begin{matrix} a + b \\[2pt] a \neq b \\[2pt] a ~\mathrm{exclusive~or}~ b \\[2pt] a ~\mathrm{not~equal~to}~ b \end{matrix}$

$\texttt{((} a, b \texttt{))}$ $\begin{matrix} a = b \\[2pt] a \iff b \\[2pt] a ~\mathrm{equals}~ b \\[2pt] a ~\mathrm{if~and~only~if}~ b \end{matrix}$

$\texttt{(} a, b, c \texttt{)}$ $\begin{matrix} \mathrm{just~one~of} \\ a, b, c \\ \mathrm{is~false} \end{matrix}$

$\texttt{((} a \texttt{)}, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}$ $\begin{matrix} \mathrm{just~one~of} \\ a, b, c \\ \mathrm{is~true} \end{matrix}$

$\texttt{(} a, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}$ $\begin{matrix} \mathrm{genus}~ a ~\mathrm{of~species}~ b, c \\[6pt] \mathrm{partition}~ a ~\mathrm{into}~ b, c \\[6pt] \mathrm{pie}~ a ~\mathrm{of~slices}~ b, c \end{matrix}$
$\text{Entitative Interpretation}$
$\text{Graph}$ $\text{Expression}$ $\text{Interpretation}$

$~$ $\mathrm{false}$

$\texttt{(} ~ \texttt{)}$ $\mathrm{true}$

$a$ $a$

$\texttt{(} a \texttt{)}$ $\begin{matrix} \tilde{a} \\[2pt] a^\prime \\[2pt] \lnot a \\[2pt] \mathrm{not}~ a \end{matrix}$

$a~b~c$ $\begin{matrix} a \lor b \lor c \\[6pt] a ~\mathrm{or}~ b ~\mathrm{or}~ c \end{matrix}$

$\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}$ $\begin{matrix} a \land b \land c \\[6pt] a ~\mathrm{and}~ b ~\mathrm{and}~ c \end{matrix}$

$\texttt{(} a \texttt{)} b$ $\begin{matrix} a \Rightarrow b \\[2pt] a ~\mathrm{implies}~ b \\[2pt] \mathrm{if}~ a ~\mathrm{then}~ b \\[2pt] \mathrm{not}~ a, \mathrm{or}~ b \end{matrix}$

$\texttt{(} a, b \texttt{)}$ $\begin{matrix} a = b \\[2pt] a \iff b \\[2pt] a ~\mathrm{equals}~ b \\[2pt] a ~\mathrm{if~and~only~if}~ b \end{matrix}$

$\texttt{((} a, b \texttt{))}$ $\begin{matrix} a + b \\[2pt] a \neq b \\[2pt] a ~\mathrm{exclusive~or}~ b \\[2pt] a ~\mathrm{not~equal~to}~ b \end{matrix}$

$\texttt{(} a, b, c \texttt{)}$ $\begin{matrix} \mathrm{not~just~one~of} \\ a, b, c \\ \mathrm{is~true} \end{matrix}$

$\texttt{((} a, b, c \texttt{))}$ $\begin{matrix} \mathrm{just~one~of} \\ a, b, c \\ \mathrm{is~true} \end{matrix}$

$\texttt{(((} a \texttt{)}, b, c \texttt{))}$ $\begin{matrix} \mathrm{genus}~ a ~\mathrm{of~species}~ b, c \\[6pt] \mathrm{partition}~ a ~\mathrm{into}~ b, c \\[6pt] \mathrm{pie}~ a ~\mathrm{of~slices}~ b, c \end{matrix}$