Trovare MGU per espressione simmetrica
-
21-12-2019 - |
Domanda
Dato questo paio di espressioni, è possibile trovare un MGU per questo?
- .
- f (x, y)
- f (y, x)
Volevo dire che è possibile, quando x / y, ma non ero sicuro se è legale. Cosa dicono?
Grazie!
Soluzione
Sì, questi termini possono essere facilmente unificati, producendo l'asserzione x= y come effetto collaterale.
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a StackOverflow