Resolution |
| 22.05.2015, 20:08 | Thomas01 | Auf diesen Beitrag antworten » |
| Resolution Die Resolution schlägt bereits am Anfang fehl denn der allgemeinster Unifikator ist G:={z/x, z/y} damit gilt nach der ersten Resolution {p(z,z),p(v,v)} statt {p(x,x),p(v,v)} Ist die Aufgabe damit richtig gelöst? |
||
|
|
Verwandte Themen
| Die Beliebtesten » |
|
| Die Größten » |
|
| Die Neuesten » |
|
