Lambda kalkul: Porovnání verzí
Smazaný obsah Přidaný obsah
→Formální popis: opravy, uff |
Oprava axiomu 2 |
||
Řádek 42:
<code>
# ''(λx . M) N = M[x := N]'' (tzv. Beta konverze)
# ''M =
# ''M = N → N = M'' (asociativita)
# ''M = N ∧ N = L → M = L'' (tranzitivita)
| |||