Kolokvium 1 materjal
aitele "kui lause A on t~oene, siis on t~oene ka lause B". Veel o¨eldakse,
et "eelduse A t¨ aidetusest (t~oesusest) j¨areldub v¨aite B t~oesus" v~oi "eeldus A on piisav
v¨aite B t~
oesuseks" ehk "tingimusest A j¨areldub (loogiliselt) v¨aide B". V¨aide
(n 6N) (n 3N)
ehk l¨
uhidalt
n 6N n 3N, (0.2.2)
kus 3N on kolmega (j¨ agita) jaguvate naturaalarvude hulk, st 3N = {3; 6; 9; . . .} , ning
a¨
6N on kuuega jaguvate naturaalarvude hulk, st 6N = {6; 12; 18; . . .} , on (0.2.1) t¨ uu
¨pi.
aite korral lauseks A lause "n 6N" ja lauseks B vastavalt "n 3N".
Seejuures on selle n¨
V¨aidet (0.2.2) tuleb lugeda "kui arv n on kuuega jaguv naturaalarv, siis arv n jagub
kolmega"