tai

Teh­tä­vä:
Lau­sek­kei­siin liit­ty­viä kä­sit­tei­tä

Ly­hyt Math­Check-oh­je (uu­teen vä­li­leh­teen)

Kun kir­joi­tat oi­keal­la yl­hääl­lä ole­vaan vas­taus­laa­tik­koon lau­sek­keen ja klik­kaat nap­pia, Math­Check piir­tää lau­se­ke­puun. Sel­vi­tä ko­kei­le­mal­la vas­tauk­set seu­raa­viin teh­tä­viin. Ei hait­taa, jos et vie­lä tun­ne loo­gi­sia ope­raat­to­rei­ta. Teh­tä­vät on tar­koi­tus rat­kais­ta kek­si­mäl­lä tes­ti­ta­pauk­sia ja ko­kei­le­mal­la mi­tä niil­lä ta­pah­tuu, ja sen kan­nal­ta on pe­da­go­gi­ses­ti vain eduk­si, jos vas­taa­ja ei tie­dä etu­kä­teen mi­tä tu­li­si ta­pah­tua. Loo­gis­ten ope­raat­to­rei­den ar­gu­ment­tei­na voi käyt­tää FF eli `sf(F)` ja TT eli `sf(T)` se­kä ver­tai­lu­ja.

Mit­kä seu­raa­vis­ta MathC­hec­kin ope­raat­to­reis­ta ovat va­sem­mal­le lii­tän­näi­siä? Nä­ky­mä­tön­tä ker­to­las­kua edus­taa tyh­jä. Sa­mal­la kun ko­kei­let tä­tä koh­taa var­ten, kan­nat­taa vas­ta­ta myös kah­teen seu­raa­vaan koh­taan.
+ - * / ^ >= /\ --> ==>
tai

Mit­kä seu­raa­vis­ta ovat oi­keal­le lii­tän­näi­siä?
+ - * / ^ >= /\ --> ==>
tai

Mit­kä seu­raa­vis­ta ovat kon­junk­tio­naa­li­sia, eli `x diamond y diamond z` ei ole syn­tak­si­vir­he, mut­ta kum­pi­kaan `diamond` ei ole toi­sel­le alis­tei­nen?
+ - * / ^ >= /\ --> ==>
tai

Täs­sä voit ko­keil­la arit­meet­ti­sia yh­tä­suu­ruuk­sia. Kor­vaa x:t ha­lua­mil­la­si arit­meet­ti­sil­la lau­sek­keil­la.
tai

Täs­sä voit ko­keil­la to­tuus­ar­vo­jen yh­tä­suu­ruuk­sia. Kor­vaa P:t ha­lua­mil­la­si pro­po­si­tio­lo­gii­kan lau­sek­keil­la, jois­sa voi esiin­tyä muut­tu­jia, to­tuus­ar­vo­va­kioi­ta, sul­ku­ja ja tut­kit­ta­via ope­raat­to­rei­ta.
tai

Mit­kä seu­raa­vis­ta ovat lii­tän­näi­siä, ts. `(x diamond y) diamond z` tuot­taa sa­man ar­von kuin `x diamond (y diamond z)`?
+ - * / ^ >= /\ --> <->
tai

Va­lit­se ylä­ri­vil­le ne ope­raat­to­rit, jot­ka si­to­vat voi­mak­kaim­min; toi­sel­le ri­vil­le ne ope­raat­to­rit, jot­ka si­to­vat toi­sek­si voi­mak­kaim­min; jne. Jos kak­si ope­raat­to­ria si­too yh­tä voi­mak­kaas­ti, va­lit­se ne sa­mal­le ri­vil­le.
+ - * / ^
tai

Va­lit­se ylä­ri­vil­le ne ope­raat­to­rit, jot­ka si­to­vat voi­mak­kaim­min; toi­sel­le ri­vil­le ne ope­raat­to­rit, jot­ka si­to­vat toi­sek­si voi­mak­kaim­min; jne. Jos kak­si ope­raat­to­ria si­too yh­tä voi­mak­kaas­ti, va­lit­se ne sa­mal­le ri­vil­le.
! \/ /\ <-> -->
tai

Va­lit­se ne bi­nää­ri­ope­raat­to­rit, jot­ka si­to­vat hei­kom­min kuin unaa­ri -.
+ - * / ^
tai

Ei­kö­hän täs­sä ol­lut riit­tä­väs­ti puu­haa!