# Work ䷫

## Theme One Program • Exposition 7

### PNG

#### Logical Interpretations of Cactus Structures • En Ex

$\text{Logical Interpretations of Cactus Structures}$

#### Logical Interpretations of Cactus Structures • Ex En

$\text{Logical Interpretations of Cactus Structures}$

### HTML + LaTeX + JPG

#### Logical Interpretations of Cactus Structures • Ex En

$\text{Logical Interpretations of Cactus Structures}$
$\text{Graph}$ $\text{Expression}$ $\begin{matrix} \text{Existential} \\ \text{Interpretation} \end{matrix}$ $\begin{matrix} \text{Entitative} \\ \text{Interpretation} \end{matrix}$

$~$ $\mathrm{true}$ $\mathrm{false}$

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

$C_1 \ldots C_k$ $C_1 \land \ldots \land C_k$ $C_1 \lor \ldots \lor C_k$

$\texttt{(} C_1 \texttt{,} \ldots \texttt{,} C_k \texttt{)}$ $\begin{matrix} \text{just one of} \\[6px] C_1, \ldots, C_k \\[6px] \text{is false} \end{matrix}$ $\begin{matrix} \text{not just one of} \\[6px] C_1, \ldots, C_k \\[6px] \text{is true} \end{matrix}$