Protiprimer: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
m r2.7.3) (robot Dodajanje: eu:Aurkako adibide |
m Bot: Migracija 21 interwikija/-ev, od zdaj gostuje(-jo) na Wikipodatkih, na d:q596077 |
||
Vrstica 7: | Vrstica 7: | ||
[[Kategorija:Matematično izrazoslovje]] |
[[Kategorija:Matematično izrazoslovje]] |
||
[[Kategorija:Logika]] |
[[Kategorija:Logika]] |
||
[[bg:Контрапример]] |
|||
[[ca:Contraexemple]] |
|||
[[ckb:نموونەی ھەڵوەشێنەر]] |
|||
[[cs:Protipříklad]] |
|||
[[de:Gegenbeispiel]] |
|||
[[en:Counterexample]] |
|||
[[eo:Kontraŭekzemplo]] |
|||
[[es:Contraejemplo]] |
|||
[[eu:Aurkako adibide]] |
|||
[[fa:مثال نقض]] |
|||
[[fr:Contre-exemple]] |
|||
[[he:דוגמה נגדית]] |
|||
[[it:Controesempio]] |
|||
[[ja:反例]] |
|||
[[nl:Tegenvoorbeeld]] |
|||
[[pl:Kontrprzykład]] |
|||
[[pt:Contraexemplo]] |
|||
[[ro:Contraexemplu]] |
|||
[[ru:Контрпример]] |
|||
[[sk:Protipríklad]] |
|||
[[zh:反例]] |
Trenutna redakcija s časom 18:43, 12. marec 2013
Prótiprimér je v logiki in še posebej v njeni uporabi v matematiki in filozofiji izjema od predlaganega splošnega pravila. Imejmo na primer trditev »vsi študentje so leni«. Ker ta izjava trdi, da določena lastnost (lenoba) velja za vse študente, bo en sam primer marljivega študenta ovrgel njeno veljavnost. Tako je katerikoli priden študent protiprimer izjavi »vsi študentje so leni«. Protiprimer je posebni primer neveljavnosti za splošno kvantifikacijo (izjave »za vse«).
V matematiki se izraz včasih uporablja za primere, ki ilustrirajo nujo polne domneve ali izreka z upoštevanjem primera, ko del domneve ni preverjen, in kjer se lahko pokaže, da sklep ne velja. Protiprimer je lahko v argumentu lokalen ali globalen.