Vastaesimerkki

Logiikassa, etenkin sovellettaessa matematiikkaan ja filosofiaan, vastaesimerkki on poikkeus ehdotetulle yleiselle säännölle tai laille. Harkitaan esimerkiksi väitelausetta "kaikki oppilaat ovat laiskoja". Tämä lause tekee väittämän, että tietty ominaisuus (laiskuus) on totta kaikissa oppilaissa. Siten yksikin esimerkki ahkerasta oppilaasta todistaisi lauseen vääräksi. Seuraa, että mikä tahansa ahkera oppilas on vastaesimerkki "kaikki oppilaat ovat laiskoja" -väitelauseelle. Vastaesimerkki on tarkemmin kuvailtuna spesifinen tapaus universaaliväitteen valheellisuudesta.