Kolokvium 1 materjal
N¨aiteks
v¨aide
((n 3N) (n 2N)) (n 6N)
ehk l¨
uhidalt
n 3N n 2N n 6N (0.2.4)
on (0.2.3) t¨
uu¨pi. V¨
aidet (0.2.4) v~
oib lugeda "naturaalarv n jagub kuuega parajasti siis,
kui n jagub kolmega ja n jagub kahega" ehk "tingimused n jagub kolmega ja n jagub
kahega on tarvilikud ja piisavad naturaalarvu n kuuega jaguvuseks" v~oi "naturaalarv n
jagub kuuega siis ja ainult siis, kui n jagub kolmega ja n jagub kahega".
6
S¨umbolit kasutatakse s~
onade "iga" v~oi "suvaline" ehk "mis tahes" asemel. N¨aiteks
v¨aites
x > 1 x2 > x,
st iga u¨hest suurema arvu x korral on x2 suurem kui x, r~ohutatakse, et see j¨areldus
kehtib iga x > 1 korral.