Terimi yeniden yazma
Bu madde, öksüz maddedir; zira herhangi bir maddeden bu maddeye verilmiş bir bağlantı yoktur. (Ağustos 2022) |
Terimi yeniden yazma , Matematik, bilişim biliminin bir dalı olan evrensel cebir de iki terimin eşit olduğunu ya da olmadığını ispat etmek için kullanılan bir hesap tekniği.
Örnek: Grup teorisinin aksiyomlarını tekrar edelim:
- (X · Y) · Z = X · (Y · Z)
- X · e = X
- X · X-1 = e
- X-1 · X = e
Şimdi "e · X = X" eşitliğin doğru olup olmadığını terimleri (aksiyomları uygulayıp) yeniden yazarak ispatlayabiliriz.
Kanıt:
- e · X
- = (X · X-1) · X
- = X · (X-1 · X)
- = X · e
- = X
Kaynakça[değiştir | kaynağı değiştir]
Franz Baader, Tobias Nipkow. "Term rewriting and all that". Cambridge University Press.
![]() | Matematik ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |