Ha valamik közül bármelyikre igaz valami akkor az mindre igaz?

> Ebben a boltban bármelyik pár cipő az szomszéd ízlésének megfelelő

Tehát akármelyiket, bármelyiket választod ki, az a szomszédodnak tetszene. Ennek feltétele, hogy mindegyik cipő tetsszen a szomszédodnak.

"Ha bármelyik cipő megfelel az ízlésemnek, azt megveszem."

Ne legyél egy retardált, kérlek.

A két megfogalmazás nem ekvivalens.

Amit te kérdezel ennél a kérdésnél az az, hogy egy halmaz elmei megfelelnek-e egy !adott! tulajdonságnak, egy !külső! tulajdonságnak. Ehhez elég végigmenni a halmaz elemein, és mindegyikre megnézni, hogy megfelel-e az adott tulajdonságnak. Ha igen, akkor elmondható, hogy a cipő adott tulajdonsága azonos a külsőleg meghatározott tulajdonsággal. Bármelyik cipő megfelel a szomszéd ízlésének = mindegyik megfelel a szomszéd ízlésének.

Ami viszont a feladatban van, az egészen más tészta. Ott nem egy adott, külső tulajdonsággal kell egyeznie a halmaz elemeinek, hanem a halmaz elemei közötti tulajdonságegyezésről van szó. Ahhoz, hogy bármelyik kettőt kiválasztva kapunk azonos elemet, nem jelenti azt, hogy mindegyik elem azonos.

Ha mondjuk van három ceruza, két kék és egy piros, akkor az, hogy mindegyik ugyanolyan színű, az egészen mást jelent, minthogy bármelyik kettőt kiválasztva találunk ugyanolyan színűt.

Szóval itt a feltétel, amit te vizsgálni akarsz, hogy mindegyik elem különböző-e. Ha csak egy egyezés van, akkor már ez a feltétel megbukott. Ehhez nem kell minden elemnek azonosnak lennie, csak léteznie kell legalább egy párosításnak, aminél a tulajdonság megegyezik.

#9 válasza azért nem jó, mert az összes többi tömb i. elemét csak az elsővel hasonlítja össze. Pl. ha négy tömb van, amiknek az első eleme sorban a következő: 5, 3, 4, 3, akkor itt nem derül ki, hogy van egyezés a 2. és 4. tömb első eleme között.

Te nem azt akarod tudni, hogy mindegyik elem azonos-e, hanem hogy mindegyik elem különböző-e. A két állítás nem egymás ellentéte. Ha két kék ceruzám van és egy piros, akkor a mindegyik azonos-e állítás is hamis, és a mindegyik különböző állítás is hamis.

Te valójában azt karod tudni, hogy hamis-e a „mindegyik különböző” állítás, vagy sem. #9 meg azt dönti el, hogy hamis-e a „mindegyik azonos” állítás.