Work β

Logical Graphs • Entitative and Existential Interpretations

Index Order

PNG

\text{Logical Graphs} \stackrel{_\bullet}{} \text{Entitative and Existential Interpretations}

Logical Graphs • Entitative and Existential Interpretations

HTML + JPG + LaTeX

\text{Logical Graphs} \stackrel{_\bullet}{} \text{Entitative and Existential Interpretations}
\text{Logical Graph} \text{Entitative Interpretation} \text{Existential Interpretation}
Cactus Stem \text{true} \text{false}
\texttt{(} ~ \texttt{)} f_{15} f_{0}
Cactus (x)(y) \lnot x \lor \lnot y \lnot x \land \lnot y
\texttt{(} x \texttt{)(} y \texttt{)} f_{7} f_{1}
Cactus (x)y x \Rightarrow y x \nLeftarrow y
\texttt{(} x \texttt{)} y f_{11} f_{2}
Cactus (x) \lnot x \lnot x
\texttt{(} x \texttt{)} f_{3} f_{3}
Cactus x(y) x \Leftarrow y x \nRightarrow y
x \texttt{(} y \texttt{)} f_{13} f_{4}
Cactus (y) \lnot y \lnot y
\texttt{(} y \texttt{)} f_{5} f_{5}
Cactus (x,y) x = y x \ne y
\texttt{(} x \texttt{,} y \texttt{)} f_{9} f_{6}
Cactus (xy) \lnot (x \lor y) \lnot (x \land y)
\texttt{(} x y \texttt{)} f_{1} f_{7}
Cactus xy x \lor y x \land y
x y f_{14} f_{8}
Cactus ((x,y)) x \ne y x = y
\texttt{((} x \texttt{,} y \texttt{))} f_{6} f_{9}
Cactus y y y
y f_{10} f_{10}
Cactus (x(y)) x \nLeftarrow y x \Rightarrow y
\texttt{(} x \texttt{(} y \texttt{))} f_{2} f_{11}
Cactus x x x
x f_{12} f_{12}
Cactus ((x)y) x \nRightarrow y x \Leftarrow y
\texttt{((} x \texttt{)} y \texttt{)} f_{4} f_{13}
Cactus ((x)(y)) x \land y x \lor y
\texttt{((} x \texttt{)(} y \texttt{))} f_{8} f_{14}
Cactus Root \text{false} \text{true}
  f_{0} f_{15}

Orbit Order

PNG

HTML + JPG + LaTeX