Protipríklad: Rozdiel medzi revíziami

Smazaný obsah Přidaný obsah

V textu

Verzia z 16:10, 4. február 2010

Protipríklad alebo kontrapríklad je výnimka z navrhnutého všeobecného pravidla. Ak výrok priraďuje určitú vlastnosť všetkým prvkom množiny, nájdenie len jedného prvku patriaceho do tejto množiny, ktorý túto vlastnosť nemá, je protipríkladom voči pravidlu. Inak vyjadrené, protipríklad je falzifikáciou všeobecných súdov.

Ako príklad môžeme použiť Platónov dialóg Gorgias, v ktorom sa Kalikles snaží určiť, čo to znamená hovoriť, že niektorí ľudia sú lepší ako druhí. Návrh, podľa ktorého silnejší sú lepší, Sokrates odmieta s tým, že spodina je počtom silnejšia ako trieda aristokratov, avšak charakter aristokratov je lepší ako charakter spodiny. Sokrates týmto našiel protipríklad voči navrhnutej definícii. Kalikles by mohol napadnúť Sokratov protipríklad napríklad tým, že by tvrdil, že charakter spodiny je v skutočnosti lepší ako charakter aristokratov. Ak však prijme Sokratov protipríklad, je nútený svoju definíciu buď vziať späť alebo ju pozmeniť tak, že Sokratov protipríklad už nemožno použiť. Podľa dialógu, Kalikles svoju definíciu pozmenil (lepší je múdrejší).

Zdroj

Tento článok je čiastočný alebo úplný preklad článku Counterexample na anglickej Wikipédii.

Verzia z 15:59, 4. február 2010 upraviť Saskardin (diskusia \| príspevky) S právom rollback 35 047 editací d drobné ← Predchádzajúca úprava		Verzia z 16:10, 4. február 2010 upraviť vrátiť Teslaton (diskusia \| príspevky) Správcovia rozhrania, Správcovia 48 293 editací d "kontrapríklad" Ďalšia úprava →
Riadok 1:		Riadok 1:
	'''Protipríklad''' je výnimka z navrhnutého všeobecného [[pravidlo\|pravidla]]. Ak [[výrok]] priraďuje určitú vlastnosť všetkým prvkom [[množina\|množiny]], nájdenie len jedného prvku patriaceho do tejto množiny, ktorý túto vlastnosť nemá, je protipríkladom voči pravidlu. Inak vyjadrené, protipríklad je falzifikáciou všeobecných súdov.		'''Protipríklad''' alebo '''kontrapríklad''' je výnimka z navrhnutého všeobecného [[pravidlo\|pravidla]]. Ak [[výrok]] priraďuje určitú vlastnosť všetkým prvkom [[množina\|množiny]], nájdenie len jedného prvku patriaceho do tejto množiny, ktorý túto vlastnosť nemá, je protipríkladom voči pravidlu. Inak vyjadrené, protipríklad je falzifikáciou všeobecných súdov.

	Ako príklad môžeme použiť [[Platón\|Platónov]] dialóg Gorgias, v ktorom sa Kalikles snaží určiť, čo to znamená hovoriť, že niektorí ľudia sú lepší ako druhí. Návrh, podľa ktorého silnejší sú lepší, [[Sokrates]] odmieta s tým, že spodina je počtom silnejšia ako trieda aristokratov, avšak charakter aristokratov je lepší ako charakter spodiny. Sokrates týmto našiel protipríklad voči navrhnutej definícii. Kalikles by mohol napadnúť Sokratov protipríklad napríklad tým, že by tvrdil, že charakter spodiny je v skutočnosti lepší ako charakter aristokratov. Ak však prijme Sokratov protipríklad, je nútený svoju definíciu buď vziať späť alebo ju pozmeniť tak, že Sokratov protipríklad už nemožno použiť. Podľa dialógu, Kalikles svoju definíciu pozmenil (lepší je múdrejší).		Ako príklad môžeme použiť [[Platón\|Platónov]] dialóg Gorgias, v ktorom sa Kalikles snaží určiť, čo to znamená hovoriť, že niektorí ľudia sú lepší ako druhí. Návrh, podľa ktorého silnejší sú lepší, [[Sokrates]] odmieta s tým, že spodina je počtom silnejšia ako trieda aristokratov, avšak charakter aristokratov je lepší ako charakter spodiny. Sokrates týmto našiel protipríklad voči navrhnutej definícii. Kalikles by mohol napadnúť Sokratov protipríklad napríklad tým, že by tvrdil, že charakter spodiny je v skutočnosti lepší ako charakter aristokratov. Ak však prijme Sokratov protipríklad, je nútený svoju definíciu buď vziať späť alebo ju pozmeniť tak, že Sokratov protipríklad už nemožno použiť. Podľa dialógu, Kalikles svoju definíciu pozmenil (lepší je múdrejší).