Izreki, posledice, leme in ˇse kaj...
andrej.taranenko@uni-mb.si 28. oktober 2003
Poglejmo kako uporabimo novo definirana okolja (glej .tex datoteko).
Izrek 1. Izrek paˇc pravi, da je to tak, ˇce je A.
Dokaz. To zdaj sicer ni pravi dokaz, je pa laˇzje. Naj bo A, torej je tak.
Posledica 2. Za posledice ne odgovarjam.
Lema 3. Leme pomagajo pri dokazovanju izrekov.
Trditev 4. Trdim nekaj...
Hipoteza 5. Za sploˇsno ne znamo dokazati, ampak predidevamo, da je res.