"metapredikaat" - 1 õppematerjal

3-Hulgateooria valemid - põhjalik konspekt

"  üldsuse kvantor („kõik“) $ olemasolu kvantor („mõni“) Hulkade tähisteks on tavaliselt mingi „klassikalise alfabeedi“ (nt kreeka või ladina tähestiku) tähemärgid Märkus. Lisaks tähistele (millel peavad olema tähendused) on meil edaspidi vaja mitmeid nn abisümboleid, nagu nt sulud, punktid, komad, semikoolonid jms Kokkulepe. Vajadusel võtame kasutusele uusi tähiseid kirjutiste tähistamiseks. Üheks sääraseks „uueks tähiseks“ on nn metapredikaat Set. Siinkohal lepime kokku, et SetH  H on hulk Hulgateooria valemid • Kui p ja q on hulkade tähised, siis kirjutis pÎq on hulgateooria valem • Kui W on hulgateooria valemi tähis, siis kirjutis ØW on hulgateooria valem. Valemi Ø(pÎq) tähisena kasutatakse sageli kirjutist pq. • Kui W ja M on hulgateooria valemite tähised, siis järgnevad kirjutised W&M, WÚM, WÉM, WÛM on hulgateooria valemid • Kui W on hulgateooria valemit tähistav kirjutis, milles pole