124. Loginiai galvosūkiai

Senais laikais 100 laukinių, kurių dalis yra žmogėdros, paėmė į nelaisvę baltųjų ekspediciją. Yra žinoma, kad:
a) bent vienas laukinis — ne žmogėdra;
b) iš bet kurių dviejų laukinių bent vienas yra žmogėdra.
Kiek iš viso buvo žmogėdrų?

Atsakymas: Žinome, kad bent vienas laukinis yra ne žmogėdra. Tarkime, kad du iš jų nėra žmogėdros. Bet tada jie sudarytų vieną porą. Tai prieštarauja sąlygai (iš bet kurių dviejų laukinių bent vienas yra žmogėdra). Vadinasi, prielaida neteisinga. Taigi vienas laukinių ne žmogėdra, visi kiti — žmogėdros.