olen lukenut, että
näin on todettu kaksi joukkoa samaksi: A=B
jos h kuuluu A han ja u kuuluu B, ja jatketaan näiden joukkojen, siis h lla ja u lla pyörittelyä, että niilä yritettäisiin todistaa A ja B samaksi
false: jos alkioilla tuo yritetään todistaa todeksi, niin ongelman voi muuntaa miten todistaa miten todistaa aaltosulje aaltosulje A aaltosulje aaltosulje = aaltosulje aaltosulje B aaltosulje aaltosulje
siitä seuraa miten todistaa aaltosulje A aaltosulje = aaltosulje B aaltosulje
näin on todettu kaksi joukkoa samaksi: A=B
jos h kuuluu A han ja u kuuluu B, ja jatketaan näiden joukkojen, siis h lla ja u lla pyörittelyä, että niilä yritettäisiin todistaa A ja B samaksi
false: jos alkioilla tuo yritetään todistaa todeksi, niin ongelman voi muuntaa miten todistaa miten todistaa aaltosulje aaltosulje A aaltosulje aaltosulje = aaltosulje aaltosulje B aaltosulje aaltosulje
siitä seuraa miten todistaa aaltosulje A aaltosulje = aaltosulje B aaltosulje
Vastaukset 2
Vanhimmat
Näinhän se joukko-opissa määritellä, että A=B jos ja vain jos A⊆B ja B⊆A ja osajoukkous ( A⊆B) taas määritellään juuri niin että
∀x: x∈A ⇒ x∈B.
{A} = {B} on tietenkin yhtäpitävää, että A=B, koska yksiöt ovat yhtäsuuret joss niiden alkiot ovat yhtäsuuret.
mutta Lotta Oinosen prujussa oli sen todistusyrityksessä alkioita ja se perustui niihin, sen kurssin nimi oli JYM.
joukko-oppiin ei kannata panostaa, vain ja ainoastaan, jos tulee lukemassasi siinä typerä lause tai teoreema, todista se sivumennen vääräksi
joukko-oppi kuuluu logiikkaan, et ehkä ole kuullut, mutta koska matemaattinen logiikan pääaine on eri kuin matikassa tuleva, siis yliopistomatikassa tuleva sivumennen saatava logiikka, joka on samalla matikkalogiikkaa, tuo kriittisyyttä. niinpä, mutta, koska nuo sanat ovat lähes samat, kannattaa käyttää hyödyllisestä matikkalogiikasta nimeä arki-matikkalogiikka
jos huomaa kiinnostuvansa matikkalogiikasta, painosta sitä alas omalta kohdaltasi ja tai heiltä joille näet sen hyväksi painostaa