Formeleingabe
∀ x ∃ y x=y
∀ x ∀ y ∀ z ((E(x,y) ∧ E(y,z) ) → E(x,z))
mehr ...
über
Warning
: Undefined array key "verboselevel_default" in
/var/www/snippets-of-logic.net/html/index_FO.php
on line
48
>
still
Warning
: Undefined array key "verboselevel_default" in
/var/www/snippets-of-logic.net/html/index_FO.php
on line
53
/>
geschwätzig
Warning
: Undefined array key "verboselevel_default" in
/var/www/snippets-of-logic.net/html/index_FO.php
on line
57
/>
sehr geschwätzig
