04.05.2013 Views

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

SHOW MORE
SHOW LESS

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)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!