huomasin tuossa peruskurssilla, että käytetään aina yhtäsuuruusmerkintää kuvaamaan kahden joukon samaisuutta.
Itse ajattelen sen näin: yhtäsuuruusmerkintää voi käyttää matikassa vain, kun mallirakenteessa on mukana esim. funktio tai funktioita ja tai muuttujia ja tai lukuja.
malliteoriaa olen vähän lukenut ja siitä sain näkömieltä tähän asiaan.
kyllä ainakin joukkojen samaisuuttta voi kuvata vain ekvivalenttius-merkillä
en ole ehkä oikeassa, koska en ole lukenut paljoa tuossa malliteoriassa, ehkä se on jotain muuta logiikkaa.
arvaan, etttä malliteoria on ehkä osaksi ainakin struktuureiden suhteiden tutkimista, kuten ekvivalenttiutta.
Itse ajattelen sen näin: yhtäsuuruusmerkintää voi käyttää matikassa vain, kun mallirakenteessa on mukana esim. funktio tai funktioita ja tai muuttujia ja tai lukuja.
malliteoriaa olen vähän lukenut ja siitä sain näkömieltä tähän asiaan.
kyllä ainakin joukkojen samaisuuttta voi kuvata vain ekvivalenttius-merkillä
en ole ehkä oikeassa, koska en ole lukenut paljoa tuossa malliteoriassa, ehkä se on jotain muuta logiikkaa.
arvaan, etttä malliteoria on ehkä osaksi ainakin struktuureiden suhteiden tutkimista, kuten ekvivalenttiutta.
Vastaukset 2
Vanhimmat
Ettet tarkoittaisi "ekvivalenttiudella" esim. homomorfismia?
ekvivalentin merkki on ja myös kolme vaakasuoraa viivaa päällekkäin pienessä tilassa.