Referaadi koostamine täitis minu jaoks eesmärki, töö koostamise käigus sain kindlasti palju rohkem teadmisi alumiiniumi kohta kui mul varasemalt oli. Kasutatud kirjandus [1 "Vikipeedia," [Online]. Available: https://et.wikipedia.org/wiki/Alumiinium. ] [Accessed 15. november. 2017]. [2 "Wikipedia," [Online]. Available: https://en.wikipedia.org/wiki/Aluminium. ] [Accessed 15. november. 2017]. [3 A. Koitmäe, "Mitteraudmetallid ja -sulamid: Al ja tema sulamid". ] [4 "Wuxi XSX metalli Materials," Wuxi XSX metalli Materials, [Online]. Available: ] http://ee.xsx-metals.com/info/properties-of-aluminum-alloys-1xxx-8xxx-se- 15518703.html. [Accessed 15. november. 2017]. [5 "Alumiinium," [Online]. Available: https://sites.google.com/site/terased/4- ] mittemustmetallid-ja-nende-sulamid/4-2-alumiinium-ja-alumiiniumi-sulamid. [Accessed 15. november. 2017].
kujul, lisades üldväitesse tingimuse, et predikaadi baashulk ei tohi olla tühi. Sel juhul ei pea arutluse kehtivuse kontrollimiseks tegelema ilmutamata eeldustega. Üldjaatavad laused „Kõik S on P (SaP)” ehk „Iga S on P” saadakse, rakendades predikaadile üldisuskvantorit või olemasolukvantori eitust predikaadi eitusele, nt: ∀x (Sx → Px) – iga objekt on selline, et kui ta on S, siis on ta P; ∀x (Sx → Px) & ∃xSx – iga objekt on selline, et kui ta on S, siis on ta P, ja leidub vähemalt üks objekt, mis on S (üldjaatav väide Aristotelese tõlgenduses ilmutatud kujul); ¬∃x (Sx & ¬Px) – ei leidu sellist objekti, mis on S ja ei ole P. Konkreetne näide (vt joonis 8.1) „Kõik varesed on mustad”. Vx olgu vareseks olemise predikaat (x on vares) ja Mx olgu musta värvi asjaks olemise predikaat (x on must). 1) ∀x (Vx → Mx) – iga objekt on selline, et kui ta on vares, siis on ta must.
kujul, lisades üldväitesse tingimuse, et predikaadi baashulk ei tohi olla tühi. Sel juhul ei pea arutluse kehtivuse kontrollimiseks tegelema ilmutamata eeldustega. Üldjaatavad laused ,,Kõik S on P (SaP)" ehk ,,Iga S on P" saadakse, rakendades predikaadile üldisuskvantorit või olemasolukvantori eitust predikaadi eitusele, nt: x (Sx Px) iga objekt on selline, et kui ta on S, siis on ta P; x (Sx Px) & xSx iga objekt on selline, et kui ta on S, siis on ta P, ja leidub vähemalt üks objekt, mis on S (üldjaatav väide Aristotelese tõlgenduses ilmutatud kujul); ¬x (Sx & ¬Px) ei leidu sellist objekti, mis on S ja ei ole P. Konkreetne näide (vt joonis 8.1) ,,Kõik varesed on mustad". Vx olgu vareseks olemise predikaat (x on vares) ja Mx olgu musta värvi asjaks olemise predikaat (x on must). 1) x (Vx Mx) iga objekt on selline, et kui ta on vares, siis on ta must.
annaabi.ee 
