User:Jon Awbrey/Figures and Tables 14

Logical Graphs • Entitative and Existential Venn Diagrams

Index Order

PNG

${\text{Logical Graphs}}~{\stackrel {_{\bullet }}{}}~{\text{Entitative and Existential Venn Diagrams}}$

HTML + JPG (Placeholder)

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

${\text{Logical Graph}}$	${\text{Entitative Interpretation}}$	${\text{Existential Interpretation}}$
${\texttt {(}}~{\texttt {)}}$	${\text{true}}$ $f_{15}$	${\text{false}}$ $f_{0}$
${\texttt {(}}x{\texttt {)(}}y{\texttt {)}}$	$\lnot x\lor \lnot y$ $f_{7}$	$\lnot x\land \lnot y$ $f_{1}$
${\texttt {(}}x{\texttt {)}}y$	$x\Rightarrow y$ $f_{11}$	$x\nLeftarrow y$ $f_{2}$
${\texttt {(}}x{\texttt {)}}$	$\lnot x$ $f_{3}$	$\lnot x$ $f_{3}$
$x{\texttt {(}}y{\texttt {)}}$	$x\Leftarrow y$ $f_{13}$	$x\nRightarrow y$ $f_{4}$
${\texttt {(}}y{\texttt {)}}$	$\lnot y$ $f_{5}$	$\lnot y$ $f_{5}$
${\texttt {(}}x{\texttt {,}}y{\texttt {)}}$	$x=y$ $f_{9}$	$x\neq y$ $f_{6}$
${\texttt {(}}xy{\texttt {)}}$	$\lnot (x\lor y)$ $f_{1}$	$\lnot (x\land y)$ $f_{7}$
$xy$	$x\lor y$ $f_{14}$	$x\land y$ $f_{8}$
${\texttt {((}}x{\texttt {,}}y{\texttt {))}}$	$x\neq y$ $f_{6}$	$x=y$ $f_{9}$
$y$	$y$ $f_{10}$	$y$ $f_{10}$
${\texttt {(}}x{\texttt {(}}y{\texttt {))}}$	$x\nLeftarrow y$ $f_{2}$	$x\Rightarrow y$ $f_{11}$
$x$	$x$ $f_{12}$	$x$ $f_{12}$
${\texttt {((}}x{\texttt {)}}y{\texttt {)}}$	$x\nRightarrow y$ $f_{4}$	$x\Leftarrow y$ $f_{13}$
${\texttt {((}}x{\texttt {)(}}y{\texttt {))}}$	$x\land y$ $f_{8}$	$x\lor y$ $f_{14}$
$~$	${\text{false}}$ $f_{0}$	${\text{true}}$ $f_{15}$

Orbit Order

PNG

${\text{Logical Graphs}}~{\stackrel {_{\bullet }}{}}~{\text{Entitative and Existential Venn Diagrams}}~{\stackrel {_{\bullet }}{}}~{\text{Orbit Order}}$