Metallid reageerivad mittemetallidega moodustamaks kristalseid ioonseid ühendeid. Ioonses ühendis ioonid on seotud kristallvõres ioonsete sidemetega. Metalli aatomitel on kalduvus kaotada elektrone moodustamaks positiivselt laetud ioone, mittemetallid aga liidavad elektrone, moodustades negatiivselt laetud iooone. Iooni elektrilaeng sõltub aatomi poolt saadud või kaotatud elektronide arvust. Iooniliste ühendite valemeis on alaindeksitega näidatud väikseim ioonide suhe saavutamaks ühendeile omast elektrilist neutraalsust. Polüaatomsed ioonid on kahest või enamast aatomist koosnevad laetud grupid mida hoiavad koos kovalentsed sidemed. Ioonse ühendi nimi moodustatakse kasutades negatiivse iooni jaoks järelliidet “iid” välja arvatud polüaatomsed ioonid. Viimaste jaoks kasutatakse spetsiaalseid nimetusi. Puhtas metallis või metallide segus (sulam) metallid esinevad ioonidena ja nende
polumeersed, kusjuures joudlusomadusi maaravate geenipaaride arv ei ole tapselt teada. Geenide toime ule saab otsustada ainult kogu genotuubi moju tulemuse joudluse jargi. Tunnust intensiivistavaid geene nimetatakse efektiivseteks (plussalleelid) ja vastandalleele mitteefektiivseteks (miinusalleelid). Domineerimist polumeersuse korral tavaliselt ei esine, mistottu tunnusele mojuvaid geene tahistatakse samade tahega, kuid erinevate alaindeksitega. Efektiivseid geene tahistatakse suurte ja ebaefektiivseid vaikeste tahtedega. Polumeersete tunnust analuusil kasutatakse matemaatilise statistika meetodeid. Modifikaatorgeenid Geenide koostoime, eriti polumeersuse uurimisel selgus, et mitte koikide geenide toime tunnusele, mida nad maaravad, ei ole vordne. Eksisteerivad nn pohigeenid, mis maaravad tunnuse kujunemise kvalitatiivses mottes, s.t kas tunnus uldse kujuneb voi mitte, kuid nende
polümeersed, kusjuures jõudlusomadusi määravate geenipaaride arv ei ole täpselt teada. Geenide toime üle saab otsustada ainult kogu genotüübi mõju tulemuse jõudluse järgi. Tunnust intensiivistavaid geene nimetatakse efektiivseteks (plussalleelid) ja vastandalleele mitteefektiivseteks (miinusalleelid). Domineerimist polümeersuse korral tavaliselt ei esine, mistõttu tunnusele mõjuvaid geene tähistatakse samade tähega, kuid erinevate alaindeksitega. Efektiivseid geene tähistatakse suurte ja ebaefektiivseid väikeste tähtedega. Polümeersete tunnust analüüsil kasutatakse matemaatilise statistika meetodeid. Modifikaatorgeenid Geenide koostoime, eriti polümeersuse uurimisel selgus, et mitte kõikide geenide toime tunnusele, mida nad määravad, ei ole võrdne. Eksisteerivad nn põhigeenid, mis määravad tunnuse kujunemise kvalitatiivses mõttes, st kas tunnus üldse kujuneb või mitte,
Asendame muutuja x indiviidikonstandiga j, mille interpretatsiooniks on Jüri. Saame valemi Rjy, mis on jätkuvalt lahtine, sest muutuja y on ikka veel vaba. Kui me seome selle nt üldisuskvantoriga, pole meil enam vabu muutujaid – saadud kinnine valem ∀y Ajy on lause, mida saab interpreteerida „Jüri armastab kõiki saareelanikke”. Predikaatarvutuse tähestik: • predikaadisümbolid: A, B, C, P, A1, B2, A6, … (suurtähed, võivad olla alaindeksitega); • predikaadisümbolile lisatud ülaindeks näitab predikaadi aarsust, unaarsete ja binaarsete predikaatide aarsuse võib märkimata jätta; • indiviidimuutujad: x, y, z, x1, z2, y6, … (tähestiku viimased tähed, võivad olla alaindeksitega); • indiviidikonstantide sümbolid: a, b, c, h, a1, j6, … (tähestiku esimesed tähed, võivad olla alaindeksitega); • loogiliste tehete sümbolid: ¬, &, ∨, →, ↔; • kvantorid ∀, ∃; • metasümbolid: o=; o ≡;
Valem Rxy on lahtine ning muutujad x ja y on vabad. Asendame muutuja x indiviidikonstandiga j, mille interpretatsiooniks on Jüri. Saame valemi Rjy, mis on jätkuvalt lahtine, sest muutuja y on ikka veel vaba. Kui me seome selle nt üldisuskvantoriga, pole meil enam vabu muutujaid saadud kinnine valem y Ajy on lause, mida saab interpreteerida ,,Jüri armastab kõiki saareelanikke". Predikaatarvutuse tähestik: · predikaadisümbolid: A, B, C, P, A1, B2, A6, ... (suurtähed, võivad olla alaindeksitega); · predikaadisümbolile lisatud ülaindeks näitab predikaadi aarsust, unaarsete ja binaarsete predikaatide aarsuse võib märkimata jätta; · indiviidimuutujad: x, y, z, x1, z2, y6, ... (tähestiku viimased tähed, võivad olla alaindeksitega); · indiviidikonstantide sümbolid: a, b, c, h, a1, j6, ... (tähestiku esimesed tähed, võivad olla alaindeksitega); · loogiliste tehete sümbolid: ¬, &, , , ; · kvantorid , ; · metasümbolid:
annaabi.ee 
