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}$

%d bloggers like this: