TEKMOVANJE ZA PRIZNANJE LOGIČNE POŠASTIInformacije in navodila |
|
Sponzorji:
Logika d.o.o. |
Trajanje:
Tekmovanje se prične 2. aprila 2007 in se konča 7. septembra 2007 ob 11.00. Za pristop k tekmovanju morate izbrati geslo iz 8 črk in števk, ki ga boste uporabljali tudi pri nadaljnjih poskusih. Nato vpišete ime in priimek ter naslov. Seveda pa lahko uporabite tudi psevdonim, ki pa bo vpisan tudi v morebitni diplomi. Izberete disciplino in nato pritisnete gumb za začetek. Učenci osnovnih šol tekmujejo v disciplini "Svet s 3 elementi". Dijaki srednjih šol tekmujejo v disciplini "Svet s 4 elementi". Naloga: Naloga je, da ugotovite resničnost do 100 stavkov v slučajno izbranem svetu likov v manj kot 7 minutah. Napaka se kaznuje s pribitkom 20 s. Da lahko nadaljujete, mora biti vaš odgovor pravilen. Razen pri prvi disciplini, svet lahko tudi skrijete. Potem čas poteka počasneje. Za odgovore lahko uporabite tudi tipke M in N. Vedno lahko začnete znova.
Svet likov temelji na ideji sveta Tarskega, ki sta ga vpeljala J. Barwise and J. Etchemendy. Mi uporabljamo le dvodimenzionalne like: trikotnike, kvadrate in petkotnike. Po velikosti so liki majhni, srednji in veliki. Lik je lahko bel ali siv. Srednji trikotnik je večji od majhnega petkotnika. Lik je desno od drugega lika, če je stolpec ,v katerem je, desno od stolpca drugega lika. Podobno je neki lik pod (ali nad) nekim drugim likom. Stavek oblike "A ali B" je resničen, če je resnicen vsaj en od "A" oz. "B". Stavek oblike "Ali A ali B" je resničen, če je resničen natanko en izmed stavkov "A" oz. "B". Stavek "A in B" je resničen, če sta resnična oba: "A" in "B". Stavek "če A, potem B" je neresničen samo v primeru, ko je "A" resničen in "B" neresničen. "A natanko tedaj, kadar je B" je resničen, če imata stavka "A" in "B" enako resničnostno vrednost. Kot individualne spremenljivke uporabljamo x, y, in z. V matematični logiki lahko različni spremenljivki zavzameta isto vrednost.
|