Template:Predicate logic; 3 variables; single; all representations

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search

Summary[edit]

Description

Four different representations of a 3-place formula in predicate logic

Compare these four Hasse diagrams:

Sketches
Ordered partitions
Pairs as sketches
Pairs in triangular array
Date
Source Own work
Author
Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".
Permission
(Reusing this file)
Public domain I, the copyright holder of this work, release this work into the public domain. This applies worldwide.
In some countries this may not be legally possible; if so:
I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.