Kio estas Aranĝo de krado ?
Aranĝo de krado（angle Grid layout）estas Aranĝo;
Ekzemplo 1
Ekzemplo 2
Arbo de \( (\forall x_0 ((\lnot \mathrm{human}( x_0)) \lor \mathrm{mortal} (x_0))) \)
\( \forall \)
\( x_0 \)
\( \lor \)
\( \lnot \)
mortal
human
\( x_0 \)
\( x_0 \)
Ekzemplo 3
Rezonada diagramo de Fitch stilo
\( \exists x \exists y (\mathrm{P}(x) \land \mathrm{P}(y) \land x \neq y) \)
\( \forall x \forall y (\mathrm{P}(x) \land \mathrm{P}(y) \land x \neq y \to \exists!z(\mathrm{L}(z) \land
\mathrm{E}(x, z) \land \mathrm{E}(y,z)) ) \)
\( \forall x (\mathrm{L}(x) \to \exists y (\mathrm{P}(y) \land \lnot \mathrm{E}(y, x))) \)
\( \vdots \)
\( \forall x (\mathrm{P}(x) \to \exists z \exists z' (\mathrm{L}(z) \land \mathrm{L}(z')
\land \mathrm{E}(x,z) \land \mathrm{E}(x,z') \land z \neq z')) \)
Ekzemplo 4
Titolo
yyyy-mm-dd
yyyy-mm-dd