Category:Representations of formulas in predicate logic

From Wikimedia Commons, the free media repository

Jump to navigation Jump to search

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"

Predicate logic

Non-topical/index:

Pages using multiple image with auto scaled images