Not logged in. · Lost password · Register

heni
Member since Oct 2014
29 posts
Subject: Frage zu Substitutionen
Hej eine Frage,

wenn ich einen Unifikator für zwei Terme suche, muss sich die Substitution nur auf einen Term beziehen?

Konkret:
Wenn ich z.B. a + (b + c) und 0 + d (0 ist eine Konstante) auf einen gemeinsamen Term bringen will, ist dann die Substitution [0/a , (b+c)/d] zulässig?

LG
Heni
errnosys
Member since Oct 2010
99 posts
Ja, diese Substitution ist zulässig und ist auch ein Unifikator für diese Terme. Und es ist auch in der tat eine einzige Substitution, und nicht eine Substitution pro Term! Sinn davon ist: wenn die zwei Terme gemeinsame Variablen haben, dann müssen die Variablen auf die selbe Art und Weise ersetzt werden.
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen