Yo pitkä matematiikka K2013 tehtävä 13

Kirjoititko rivisi
0 0
0 1
1 0
1 1
?
Mä tein aluks saman virheen, koelapussa ne on käänteisessä järjestyksessä.

Aloittajalle: tuolla antamallasi sivulla on hyvän vastauksen piirteet, joista löytyy ratkaisu, ni ei kai tähän nyt sen kummemmin vinkkiä voi antaa. Siis, kun lähet sitä taulua tekemään, niin laita vaan A□B paikalleen ja kopioi siihen oikealle puolelle A, sitten katot □:n määrittelystä vastaavat rivit mitkä arvot se saa (kun vasemmalla on A ja oikealla A□B, siis ihan niitä 1:iä ja 0:ia katot ja etsit vastaavan rivin määritelmästä). Sitten kun taulu on oikein muodostettu, ni helppo on huomata mikä väite A□(A□B) tavallisilla konnektiiveilla sanottuna on, eli A∧B.

Kanootti3 kirjoitti:

Kirjoititko rivisi
0 0
0 1
1 0
1 1
?
Mä tein aluks saman virheen, koelapussa ne on käänteisessä järjestyksessä.

Aloittajalle: tuolla antamallasi sivulla on hyvän vastauksen piirteet, joista löytyy ratkaisu, ni ei kai tähän nyt sen kummemmin vinkkiä voi antaa. Siis, kun lähet sitä taulua tekemään, niin laita vaan A□B paikalleen ja kopioi siihen oikealle puolelle A, sitten katot □:n määrittelystä vastaavat rivit mitkä arvot se saa (kun vasemmalla on A ja oikealla A□B, siis ihan niitä 1:iä ja 0:ia katot ja etsit vastaavan rivin määritelmästä). Sitten kun taulu on oikein muodostettu, ni helppo on huomata mikä väite A□(A□B) tavallisilla konnektiiveilla sanottuna on, eli A∧B.

Lue lisää

Korjaus: Siis A:han tulee vasemmalle puolelle, kun lause on A□(A□B), niin siinä vasemmallahan se on !

Kanootti3 kirjoitti:

Kirjoititko rivisi
0 0
0 1
1 0
1 1
?
Mä tein aluks saman virheen, koelapussa ne on käänteisessä järjestyksessä.

Aloittajalle: tuolla antamallasi sivulla on hyvän vastauksen piirteet, joista löytyy ratkaisu, ni ei kai tähän nyt sen kummemmin vinkkiä voi antaa. Siis, kun lähet sitä taulua tekemään, niin laita vaan A□B paikalleen ja kopioi siihen oikealle puolelle A, sitten katot □:n määrittelystä vastaavat rivit mitkä arvot se saa (kun vasemmalla on A ja oikealla A□B, siis ihan niitä 1:iä ja 0:ia katot ja etsit vastaavan rivin määritelmästä). Sitten kun taulu on oikein muodostettu, ni helppo on huomata mikä väite A□(A□B) tavallisilla konnektiiveilla sanottuna on, eli A∧B.

Lue lisää

Jos tuo oli minulle niin en tehnyt mitään virhettä. Puhuin siitä konnektiivista, joka merkittiin tuolla ruudulla.

A B A¤B A& ~B ~ (A -> B)

1 1 0 0 0
1 0 1 1 1
0 1 0 0 0
0 0 0 0 0

Samat ovat. Kirjoitin kyllä mielestäni ihan selkeästi: tuon konnektiivin totuustaulu...

Tarkoitus oli antaa aloittajalle vihje.

Ohman kirjoitti:

Jos tuo oli minulle niin en tehnyt mitään virhettä. Puhuin siitä konnektiivista, joka merkittiin tuolla ruudulla.

A B A¤B A& ~B ~ (A -> B)

1 1 0 0 0
1 0 1 1 1
0 1 0 0 0
0 0 0 0 0

Samat ovat. Kirjoitin kyllä mielestäni ihan selkeästi: tuon konnektiivin totuustaulu...

Tarkoitus oli antaa aloittajalle vihje.

Lue lisää

Löi taas systeemi taulukon yhteen sekasotkuun mutta ehkä tarkkaavainen lukija onnistuu siitä tarkoitukseni löytämä'än.

Ohman kirjoitti:

Jos tuo oli minulle niin en tehnyt mitään virhettä. Puhuin siitä konnektiivista, joka merkittiin tuolla ruudulla.

A B A¤B A& ~B ~ (A -> B)

1 1 0 0 0
1 0 1 1 1
0 1 0 0 0
0 0 0 0 0

Samat ovat. Kirjoitin kyllä mielestäni ihan selkeästi: tuon konnektiivin totuustaulu...

Tarkoitus oli antaa aloittajalle vihje.

Lue lisää

Joo, hups, puhuitkin siitä itse konnektiivista. Ite vain tein sen virheen että laitoin rivit väärässä järjestyksessä ja sit tuo A& ~B tuli koko lausekkeen A¤(A¤B) kanssa yhtäpitäväksi.

Ps. Syy miksi kirjoitin rivit 00...000 - 11..111, on siksi että nehän ovat binäärilukuina luvut 0, ..., 2^m-1, kun on m symbolia, joille totuusarvo antaa. Näin ne saa järjestyksessä kaikki varmasti mukaan.