Mutassuk meg, hogy minden -re az egyenes átmegy egy állandó ponton. Milyen utat jár be a két négyzet középpontját összekötő szakasz felezőpontja? 6. [ szerkesztés] A és sík egymást a egyenesben metszi, és a síknak, a síknak olyan pontja, amely nincs rajta -n. Szerkesszük meg azt az húrtrapézt (), melynek csúcsa -n, csúcsa a síkban van, s amelybe kört írhatunk. Megoldás
Azonban szigorú felépítésünkben Ü nem létezik, mert semmilyen axióma nem garantálja ezt. Az intenzionális definícióval adott sokaságok létezésére a részosztály-axióma vonatkozik, az azonban csak majoráns alakra hozható definíciók esetén garantálja a létezést. Ha viszont az osztály-nemegyenlőséget értjük, akkor ez az egyedekre is teljesül. Igen, ha x és y egyedek, ≠ pedig az osztályegyenlőség tagadásának jele, akkor érvényes x≠y. Tehát ez értelmezésben Ü, ha létezik, nem üres. Persze, mint fentebb mondtuk, nem létezik. Lásd még itt: Definiálható-e az "egyed" fogalma?. b). Az {x | x=x} definíció az összes egyedre és osztályra is teljesül, vagyis a "dolgok" sokasága! Ez a mi felépítésünkben nem létezik, semmiképp sem osztály, így aztán nem létezik. 8. [ szerkesztés] Tudjuk, hogy az osztályok osztálya nem létezhet, de mi a véleménye ennek valódi részéről, a valódi osztályok V:= {x | x∉E ∧ ∀y:(x∉y)} sokaságáról? Ez vajon osztály (azaz: létezik)? A V sokaság természetesen nem létezik az osztályelméletben.
A valódi osztályok azért valódiak, mert nem foglalhatóak osztályba, tehát a V osztály létezése emiatt képtelenség. 9. [ szerkesztés] "Fejezzük be" az individuum-egyenlőség tranzitivitásának és szimmetriájának bizonyítását! Teljesen annak mintájára megy, mint a bizonyítás 2). részében ismertetett gondolatmenetben látható. 10. [ szerkesztés] Mi a véleménye az E ':= {x|x∉ E} definícióról, megad-e egy osztályt az "egyedek osztályának komplementere"? Nem. Ha ez osztály lenne, akkor persze tartalmazná az üres osztályt, ami nem egyed. Mármost, az egyértelmű meghatározottság axiómájából következően vagy E ' ∈ E, vagy E ' ∉ E. Az első esetben E ' maga is egyed. Ez nem lehetséges, hiszen van legalább egy eleme, az üres halmaz, márpedig egy egyednek nem lehet eleme. A második esetben E ' nem egyed, akkor tehát eleme E ' -nek, önmagának. Ezt a gyenge regularitási axióma kizárja. Látjuk: egy reguláris halmazelméletben az E ' osztály, a "nem egyedi dolgok osztálya", nem létezik – teljesen függetlenül attól, hogy maga E ontológiai státusza milyen: halmaz (akár üres), vagy valódi osztály.
A Wikikönyvekből, a szabad elektronikus könyvtárból. Az 1. Nemzetközi Matematikai Diákolimpiát 1959-ben, Brassóban (Románia) rendezték, s hét ország 52 versenyzője vett részt rajta. Feladatok [ szerkesztés] Első nap [ szerkesztés] 1. [ szerkesztés] Mutassuk meg, hogy – bármilyen természetes számot jelentsen is – a következő tört nem egyszerűsíthető: Megoldás 2. [ szerkesztés] Milyen valós számokra lesznek igazak az alábbi egyenletek: 3. [ szerkesztés] Tudjuk, hogy Mutassunk másodfokú egyenletet -re úgy, hogy együtthatói csak az számoktól függjenek, majd helyettesítsünk be, és -et. Második nap [ szerkesztés] 4. [ szerkesztés] Szerkesszünk derékszögű háromszöget, ha adott az átfogója, és tudjuk, hogy a z átfogóhoz tartozó súlyvonal hossza egyenlő a két befogó hosszának mértani közepével. 5. [ szerkesztés] Az szakaszon mozog az pont. Az és szakaszok fölé az egyenes ugyanazon oldalára az és a négyzetet emeljük, s megrajzoljuk ezek körülírt körét is. A két kör -ben és -ben metszi egymást. Mutassuk meg, hogy az és a egyenes is átmegy az ponton.
és 3). pontok alatt leírt osztályok csak akkor léteznek, ha az a, á, b, c, cs hangok, meg az Olvasó és a Tankönyvíró eleme az E egyedek osztályának. De ezt nyugodtan feltehetjük. 2. [ szerkesztés] Vajon az "izgalmas mozifilmek" sokasága miért nem osztály? Sérti az egyértelmű meghatározottság axiómáját. Az "izgalmas" jelző köztudottan szubjektív, fuzzy tulajdonság; nem egyértelmű, mely filmekre igaz és melyekre nem. 3. [ szerkesztés] Tudjuk, hogy az osztályok = egyenlősége reflexív reláció: azaz tetszőleges A osztályra A=A. Lássuk be, hogy meg irreflexív reláció, azaz egyetlen osztály sem nem-egyenlő önmagával! Valóban, ha AA volna, az épp az ellenkezőjét jelentené (hogy ¬(A=A)) annak, ami az = reflexivitása miatt igaz, azaz annak, hogy A=A. 4. [ szerkesztés] Tranzitív-e (ha ab és bc, igaz-e mindig ac)? Nem. Például az a=0, b=1, c=a=0 esetben 01 és 10, mégsem igaz 00. 5. [ szerkesztés] Egy napon Athén piacterén, néhány ezer évvel ezelőtt, a krétai Epimenidész, a közismert Zeusz-pap és varázsló, elkiáltotta magát - talán vitája volt valakivel éppen -: "A krétaiak mind örök hazugok és naplopók! "
Vajon ha Epimenidész nem kiáltja el magát, vagy nem lenne krétai; akkor is bizonyítottnak gondolhatnánk, hogy van egy "igazmondó" krétai? Eszerint egy tényigazság attól is függhet, hogy ki mit állít róla? Lehet bogozni, van-e hiba az utóbbi gondolatmenetben (és ha van, hol), mi nem vállalkozunk rá. A paradoxont azért tartják sokan mégis logikai antinómiának, mert egyszerű átfogalmazása a Russell-paradoxon logikai megfelelője. Epimenidész kijelentése ugyanis egyes szám első személyben átfogalmazható így is: "Nekem, mint krétainak, minden mondatom hazugság". Ez pedig - a "minden mondatom" kifejezést a szűkebb "ez a mondatom" kifejezésre cserélve: "Nekem, mint krétainak, ez a mondatom is hazugság". Ez már maga a Russell-antinómia, ugyanis ha a fenti mondat igaz, akkor hazugság, míg ha nem igaz, akkor nem hazugság, tehát igaz. 6. [ szerkesztés] Adjuk meg azon osztály formális, intenzionális definícióját, amely pontosan azon halmazokat tartalmazza elemként, melyek maguk nem elemei egy halmaznak sem!
Vásároljon bútorokat nagyszerű áron credit_card Fizetés módja igény szerint Fizessen kényelmesen! Fizetési módként szükség szerint választhatja a készpénzes fizetést, a banki átutalást és a részletfizetést. shopping_basket Színes választék Bútorok széles választékát kínáljuk nemcsak a házba, de a kertbe is. Egyszerűen online Egyszerűen vásárolhat bútort interneten keresztül. Válasszon a bútorok széles választékából, verhetetlen áron! Jysk konyha asztalok ikea. Merítsen ihletet, és tegye otthonát a világ legszebb helyévé! Olcsón szeretnék vásárolni
shopping_cart Érdekes választék Több száz különféle összetételű és színű garnitúra, valamint különálló bútordarab közül választhat credit_card Több fizetési mód Több fizetési mód áll a rendelkezésére. Banki átutalás, készpénz vagy részletfizetés. Egyszerűen online Válassza ki álmai bútorát egyszerűen és átláthatóan, boltok felesleges látogatása nélkül
Válasszon a bútorok széles választékából, verhetetlen áron! Merítsen ihletet, és tegye otthonát a világ legszebb helyévé! Olcsón szeretnék vásárolni
account_balance_wallet Több fizetési mód Több fizetési mód áll a rendelkezésére. Banki átutalás, készpénz vagy részletfizetés. shopping_cart Széles választék Számos kollekciót és egyéni modelleket is kínálunk az egész lakásba vagy házba. Intézzen el mindent gyorsan és egyszerűen Elég pár kattintás, és az álombútor már úton is van Több információt szeretnék
shopping_cart Legújabb bútor kínálat Bútorok széles választékát kínáljuk Önnek, verhetetlen áron a piacon. Választható fizetési mód Fizethet készpénzzel, banki átutalással vagy részletekben. thumb_up Bárhol elérhető Elég pár kattintás, és az álombútor már úton is van
Fizetési mód kiválasztása szükség szerint Fizessen kényelmesen! Fizetési módként szükség szerint választhatja a készpénzes fizetést, a banki átutalást és a részletfizetést.
Intézzen el mindent online, otthona kényelmében Elég pár kattintás, és az álombútor már úton is van