"oesusest" - 1 õppematerjal

Kolokvium 1 materjal

umbolit kasutame selles kontekstis s~ona "ja" ning s¨ on liitlause. S¨ umbolit s~ona "v~oi" asemel. Olgu A ja B kaks lauset. T¨ ahistus AB (0.2.1) on l¨uhikirjapilt v¨ 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¨