Category:Representations of formulas in predicate logic

Matrix sketches, ordered partitions and "pairs" (or rather pair in this case)

$\exists x~\forall w~\forall z~\exists y~Pwxyz$

From ordered partitions to pairs representation

$\forall x~\exists y~\forall z~Pxyz$

Tensor sketch (t.l.),
ordered partition (t.r.),
pairs as matrix sketches (b.l.),
pairs as ordered partitions (b.r. big),
pairs symbolic (b.r. small)

Subcategories

This category has the following 4 subcategories, out of 4 total.

R

Representations of formulas in predicate logic; lists‎ (2 C, 1 F)
Representations of formulas in predicate logic; matrix and tensor sketches‎ (2 C, 6 F)
Representations of formulas in predicate logic; ordered partitions‎ (3 C)
Representations of formulas in predicate logic; pairs‎ (2 C, 8 F)

Retrieved from "https://commons.wikimedia.org/w/index.php?title=Category:Representations_of_formulas_in_predicate_logic&oldid=292190784"