Dakota-lugmaglede in Kaapstad vereer | Nuus24
Kaapstad – Die elf lugmaglede wat verlede week in die Drakensberg-vliegtuigongeluk gesterf het, is Woensdag tydens 'n gedenkdiens in Ysterplaat, Kaapstad, vereer, berig RSG.Hulle is beskryf as lede wat die land met trots gedien het.Die vliegtuig het verlede Woensdag by die Waterkloof-lugmagbasis in Pretoria opgestyg en was onderweg na Mthatha in die Oos-Kaap. Die wrak van die vliegtuig is Donderdagoggend gevind.Nosiviwe Mapisa Nqakula, minister van verdediging, het gesê die raad van ondersoek na die ongeluk sal sy werk binnekort afhandel. – Volg Nuus24 op Twitter
Sien jy Segwie - ek's onskuldig met jou af-duim-teorie. Predikaatlogika - Wikipedia
Dikwels is dit nodig om die atomiese sinne verder te ontleed in die ekwivalent van naamwoorde en werkwoorde. So kan ons die individu Andries aandui met a, die eienskap of aksie "om te gaan" met G( ), en die sin "Andries gaan" met G(a). Ons noem a 'n objeksimbool of konstante en G( ) 'n eenledige predikaat- of relasiesimbool. Enige letters kan gebruik word. In die predikaatlogika sal ons ons eerste argument hierbo só skryf:
(1)	G(a) Ú G(b)
Twee- en drieledige predikaatsimbole word gebruik om relasies tussen twee of drie objekte of individue uit te druk: P(a,b) kan beteken "a is groter as b"; en Q(a,b,c) kan beteken "a en b is onderskeidelik die pa en die ma van c".
Verder het ons nog name, genoem veranderlikes, nodig. Hiervoor gebruik ons gewoonlik x,y,z,... en hulle verwys nie na 'n spesifieke objek nie, maar na enigeen van al die objekte of individue onder bespreking. Die simbole ("x) lees ons as "vir alle x (uit die besprekingsdomein) geld dat ..." en ($x) lees ons as "daar bestaan (in die besprekingsdomein ten minste een) x sodanig dat ...". Ons kan dus "Iemand is ryk" weergee as ($x)R(x), "Almal is siek" as ("x)S(x), en "Elkeen het 'n pa en 'n ma" as ("z)($x)($y)Q(x,y,z).
Die predikaatlogika 'n baie beperkte uitdrukkingsvermoë in vergelyking met 'n natuurlike taal (soos Afrikaans of Zoeloe of Engels) Dit kan byvoorbeeld nie vrae of bevele of uitroepe weergee nie; kan alle wiskundige argumente (aksiomas, bewyse en stellings) daarin uitgedruk word. Dit speel ook 'n groot rol wanneer mens 'n rekenaar programmeer om te redeneer en 'n programmeertaal soos Prolog is daarop geskoei.
Ontsluit van "https://af.wikipedia.org/w/index.php?title=Predikaatlogika&oldid=1117158"
Last edited on 8 Maart 2013, at 20:03