"uhikirjapilt" - 1 õppematerjal

Kolokvium 1 materjal

N¨aiteks laused "x X" (x on hulga X element) ja "y Y " on lihtlaused ning lause " (x X) (y Y ) " (x on hulga X element ja y on hulga Y element) ehk l¨ uhidalt "x X y Y " 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)