Föreläsning2[1] (PDF 4.3 MB - New window) - Lunds universitet
Föreläsning2[1] (PDF 4.3 MB - New window) - Lunds universitet
Föreläsning2[1] (PDF 4.3 MB - New window) - Lunds universitet
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Bevis som involverar identitetssymbolen<br />
Bevisregel: Om b = c så är allt som är sant om b också sant om c<br />
Denna regel kallas traditionellt ”indiscernibility of identicals”<br />
Vi kallar den identitetselimination. (Varför?)<br />
Exempel<br />
Med hjälp av denna princip kan vi i matematiken gå från<br />
x 2 -1 = (x-1)(x+1)<br />
och<br />
x 2 > x 2 -1<br />
till<br />
x 2 > (x-1)(x+1)