Unverified Commit e47d02a9 authored by Philip K.'s avatar Philip K. 🌝
Browse files

termersetzung: swapped x and y in result of rule 1.1

parent e2fa7640
......@@ -3,7 +3,7 @@ Wir definieren ein Termersetzungssystem mit der Signatur $\Sigma$
bestehend aus einem unärem Operator $\ast(x)$ (geschrieben als
$x^{\ast}$) und einem binärem, infix Operator $x \vdash y$:
(x \vdash y^\ast) \;&\rightarrow_{0}\; (x \vdash y)
(x \vdash y^\ast) \;&\rightarrow_{0}\; (y \vdash x)
(x \vdash y) \vdash z \;&\rightarrow_{0}\; z \vdash (y \vdash x^\ast)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment