L?sningsforslag 7, oppg 85.1
Her f?lger vel E' |- f(a,c) = f(b,c) med én gang, ved Substitutivitet mht ligning f(a,x) = f(b,x) og substitusjon {x |-> c}.
Publisert 5. mars 2024 19:17
- Sist endret 5. mars 2024 19:17
Her f?lger vel E' |- f(a,c) = f(b,c) med én gang, ved Substitutivitet mht ligning f(a,x) = f(b,x) og substitusjon {x |-> c}.