Korisnik:MarkoStankovic88/pesak

Teorija dokaza je grana matematičke logike koja predstavlja dokaze kao formalne matematičkih objekte i olakšavanje njihovu analizu matematičkim tehnikama. Dokazi se obično predstavljaju kao struktura induktivno definisanih podataka kao što su obične liste, liste u kutijici ili drveta, koji su izgrađeni u skladu sa aksioma i pravilima zaključivanja logičkog sistema. Kao takva, teorija dokaza je po prirodi sintaksička, za razliku od teorije modela, koja je semantičke prirode. Zajedno sa teorijom modela, aksiomatske teorije skupova i teorije rekurzije, teorija dokaza je jedan od takozvanih četiri stuba osnovama matematike.

MarkoStankovic88/pesak
Lokacija	Petrilje
Država	Srbija

Ćorov vodopad se nalazi u ataru sela Petrilje, na 300 metara od magistralnog puta M9 koji povezuje Leskovac i Prištinu. Udaljen je 8 km od Medveđe i 7 km od Sijarinske Banje. Dužina toka Ćorovog potoka, na kome se vodopad nalazi, od izvora do ušća u Tularsku reku je svega 500 metara. Ni tokom najsušnijih godina, Ćorov potok ne presušuje pa vodopad ima vode tokom cele godine. Na par desetina metara od vodopada izgrađeni su letnjikovac i mini park.

Legenda

Vodopad je dobio naziv po legendi koja datira iz perioda pod turskom vlašću. Konfiguracija terena je takva da se nalazi na skrovitom mestu o čemu najbolje svedoči i podatak da je veoma mali broj meštana znao za njegovo postojanje pre njegovog uređenja. Prema legendi devojke su prale veš i kupale se ispod vodopada, a pošto je jedina staza koja vodi do vododapa samo njima bila vidljiva, mogle su na vreme da primete da im neko dolazi. Najhrabriji među momcima bi došli drugim pravcem, preko stena koji je mnogo nepristupačniji i to je bilo iskušenje za najhrabrije. Onaj ko bi uspeo da to učini, mogao je za sebe da odabere devojku koja mu se sviđa i uzme je sebi za ženu.

Galerija

• 
  Donji kazan vodopada