Animated Logical Graphs • 47

Re: Richard J. Lipton • The Art Of Math
Re: Animated Logical Graphs • (30) (45) (46)

A logical concept represented by a boolean variable has its extension, the cases it covers in a designated universe of discourse, and its comprehension (or intension), the properties it implies in a designated hierarchy of predicates. The formulas and graphs tabulated in previous posts are well-adapted to articulate the syntactic and intensional aspects of propositional logic. But their very tailoring to those tasks tends to slight the extensional and therefore empirical applications of logic. Venn diagrams, despite their unwieldiness as the number of logical dimensions increases, are indispensable in providing the visual intuition with a solid grounding in the extensions of logical concepts. All that makes it worthwhile to reset our table of boolean functions on two variables to include the corresponding venn diagrams.

Venn Diagrams and Logical Graphs on Two Variables
$\text{Boolean Function}$	$\text{Entitative Graph}$	$\text{Existential Graph}$

$f_{0}$	$\text{false}$	$\text{false}$

$f_{1}$	$\lnot (x \lor y)$	$\lnot x \land \lnot y$

$f_{2}$	$\lnot x \land y$	$\lnot x \land y$

$f_{3}$	$\lnot x$	$\lnot x$

$f_{4}$	$x \land \lnot y$	$x \land \lnot y$

$f_{5}$	$\lnot y$	$\lnot y$

$f_{6}$	$x \ne y$	$x \ne y$

$f_{7}$	$\lnot x \lor \lnot y$	$\lnot (x \land y)$

$f_{8}$	$x \land y$	$x \land y$

$f_{9}$	$x = y$	$x = y$

$f_{10}$	$y$	$y$

$f_{11}$	$x \Rightarrow y$	$x \Rightarrow y$

$f_{12}$	$x$	$x$

$f_{13}$	$x \Leftarrow y$	$x \Leftarrow y$

$f_{14}$	$x \lor y$	$x \lor y$

$f_{15}$	$\text{true}$	$\text{true}$

Resources

cc: Cybernetics Communications (1) (2) • FB | Logical Graphs • Ontolog Forum (1) (2)
cc: Peirce List (1) (2) (3) (4) (5) (6) (7) (8) • Structural Modeling (1) (2) • Systems (1) (2)

5 Responses to Animated Logical Graphs • 47

Pingback: Animated Logical Graphs • 48 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 49 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 50 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 3 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 4 | Inquiry Into Inquiry

	Jon Awbrey on Scratchpad
	Tom on In the Way of Inquiry • Justif…
	Jon Awbrey on Scratchpad
	tgollier on In the Way of Inquiry • Initia…
	Survey of Semiotics,… on Zeroth Law Of Semiotics • Disc…
	Zeroth Law Of Semiot… on All Liar, No Paradox
	Zeroth Law Of Semiot… on Zeroth Law Of Semiotics
	Survey of Semiotics,… on Zeroth Law Of Semiotics • Disc…
	Zeroth Law Of Semiot… on Zeroth Law Of Semiotics
	Zeroth Law Of Semiot… on All Liar, No Paradox

M	T	W	T	F	S	S
						1
2	3	4	5	6	7	8
9	10	11	12	13	14	15
16	17	18	19	20	21	22
23	24	25	26	27	28	29
30