Matematické Fórum

najviac jedno z dievčat znamená,že žiadne alebo jedna áno a druhá nie to som aj napísal
Katka nepôjde bez Lucie znamená ,že ak nepôjde Lucia tak nepôjde ani Katka to som aj napísal

práve jedno dievča znamená ,že buď pojde jedna alebo druhá niektorá musí ísť to som aj napísal
všeobecne postupovať tak,že čítať zadanie

asi Erika a Anka tam išli,lebo Erika musela ísť potom musela ísť aj Anka,lebo by sa porušila prvá podmienka a Mirka nemohla ísť,lebo išla Anka

Mám slovnú úlohu :
Dievčatá išli na súťaž v plávaní. Erika nešla bez Anky. Z dvojice Anka, Mirka išla najviac jedna. Kto išiel na súťaž, keď Erika na súťaži nemohla chýbať?

Vie mi prosím niekto napísať postup ako túto úlohu riešiť - dakujem

↑ jarrro:
ale ja to chcem rozpisat!!!!!!

čo sa dá na tom rozpísať prečítaš a napíšeš odpoveď konkrétne tu Erika musí ísť potom aj Anka musí ísť a Mirka nemôže ísť

↑ sade:

Zdravím,

tak si nastuduj, prosím "jazyk výrokové logiky" nebo i z jiných zdrojů a zkus přeložit slovní zadání do zápisů:

slovní větu (složený výrok) rozložiš na jednoduché výroky a vyznačiš spojiky mezi jednoduchými výroky. 

Dievčatá išli na súťaž v plávaní. Erika nešla bez Anky. Z dvojice Anka, Mirka išla najviac jedna. Kto išiel na súťaž, keď Erika na súťaži nemohla chýbať?

jednoduchý výrok:

Erika šla, negace je "Erika nešla"
Anka šla, negace...
Mirka šla, negace...

Erika nešla bez Anky - můj překlad "Erika šla tehdy a jen tahdy, když šla Anka"
Z dvojice Anka, Mirka išla najviac jedna - můj překlad "Šla Anka nebo šla Mirka"
Erika na súťaži nemohla chýbať? - můj překlad "Erika šla".

Ted si z toho poskladej opět složený výrok:

"Erika šla tehdy a jen tahdy, když šla Anka" a zároveň "Šla Anka nebo šla Mirka" a zároveň "Erika šla". Do jazyka výrokové logiky se mi to nechce přepisovat (můžeš to zkusit a umístit sem svůj návrh), pak sestavíš tabulku, ve které najdeš řádek, kde výrok je platný.

Kolega Jarrro má naprostou pravdu, že toto je daleko rychlejší řešitelno jen po přečtení zadání (třeba u testu SCIO se těžko budeš mořit s výrokovou logikou"). Pokud byla potřeba zapsat do výrokové logiky, tak to bylo potřeba uvést přímo u zadání, a ne že být na kolegu drzá(ý).

Ať se vede.

↑ jarrro: děkuji, určitě tomu rozumíš lépe :-)

Přečetla jsem, že podmínkou pro "šla Erika" je "šla Anka" (v implikaci by mi to znělo, že "nešla Erika" pak "nešla Anka" - tedy implikace negovaných výroků - může být?).

Nejvíc jedna (mám chybu, nezhrnula jsem variantu, že nešla ani jedna" kterou si představuji takto: Je to tak?

Vždyt povídám, že bez překladu do jazyka výrokové logiky to je rychlejší. A proto raděj to přenechám Tobě, děkuji.

↑ jarrro: :-) nevím :-)

Dála jsem to teď našemu synovi (bude mít 10 let), hned po přečtení vědel, že nejde Mirka. My oba ze zadání víme, že nejde Mirka - a teď poloviny soboty se budeme šmudlit s "překladem do jazyka vyrokové logiky". Já Tobě to opravdu s plnou důvěrou přenechávám, děkuji a hezky zdravím :-)

↑ sade:

Pravda, jsem na drzost trochu přecitlivá, ale ano, četla - přišlo mi, že stejné zadání opakuješ, aniž bys s Jarrro "mluvila" ve smyslu, co konkrétně potřebuješ, ale hned mu odpoviš, ať radej nereaguje. Přitom, když se podívaš na odstatní příspěvky od kolegy, tak je jasné, že řeší složité zadání a umí dobře a konkrétně poradit (někdy je trochu stručný :-)

Převod slovních formulací je vždy trochu problémový. Zkoušela jsem obě varianty pro podmínku Erika s Ankou:

a) ekvivalence mi umožní jednoznačně zahrnout požadavek, že Erika půjde.

b) implikace negovaných výroků dle mého blíž se vystihuje předpoklad, že Erika na soutěži nebude, pokud nebude Anka: (tu jsem editovala, měla jsem původně M, ale měla být Erika)

ohledně nejvýš jedna (Anka, Mirka) souhlasím s kolegou: , kolegovi děkuji za upozornění.

------
Když jsem tak uvažovala, tak z požadavku "Erika určitě půjde" mi zní, že je ještě potřeba doplnit kvantifikatory:

pro každou Eriku z množiny "Účastník soutěže" platí, že.... A to nevím, zda si nevymyšlím příliš. Věřím, že kolega to vyřeší lépe, kolegovi děkuji.