"hxrx" - 1 õppematerjal

Loogika Arvestustöö

t t t v v v t v t t v v v t v v t v t t t v t v t v v t t t v v v t t t v t v t v t v t v t v t v v t v t t v t v v v v t t v t Vastus: Hulk on kooskõlaline 3. Hx: x on hobune Rx: x on ratsahobune A. (x)(HxRx) ­ Iga hobune on ratsahobune E. (x)(Hx~Rx) ­ Ükski hobune ei ole ratsahobune I. (x)(Hx&Rx) ­ Mõni hobune on ratsahobune O. (x)(Hx&~Rx) ­ Mõni hobune ei ole ratsahobune Vastus: ,,I" lause räägib esialgse vastu 4. a. (x)(Tx&~Bx) b. (x) (PxLx) c. (x) ((Tx&Kx) Ex)) d. (x) ((Px&Lx) Bx)) e. (x) (Px~(Tx&Ex)) 5. 1 (C~R)&(RL) e 2 C (CL) e 3 IR e 4 I e 5 RL 1&E 5,10 6 L