Suurepinnaliste pargimurude, kortermajade siseõuede, intensiivses kasutuses olevate haljasalamurude jms rajamiseks tuleks kasutada mõnevõrra jämedama fraktsiooniga kasvupinnast, mis säilitab oma füüsikalise struktuuri hoolimata raskemate hooldusmasinate ning tallamise survest. Kuna selliste kasvupinnaste veeläbilaskevõime on suurem ning veesidumisvõime vastavalt väiksem, on nad põuakartlikumad kui näiteks üldotstarbelised pinnased, mistõttu kastmisvajadus on märksa suurem. Seega tuleb kastmisvõimaluse loomisele mõelda juba seda tüüpi pinnasega haljastuse projekteerimisel ja rajamisel. 6.1.3. Spordi- ja golfimurude kasvupinnas Spordi- ja golfimurude kasvupinnaste omadused kujutavad endast kompromissi pinnase taimekasvatuslike ja tugevusomaduste vahel. Neid murusid ekspluateeritakse intensiivselt nii vihma- kui põuaperioodidel. Ilmastikutingimustele vaatamata toimub ka nende murude majandamine: tihe ja
Üldise väite võib üksikväiteks konkretiseerida predikaatloogika tuletusreeglite abil, sooritades 13 üldisuskvantori eemaldamise, ning üksikväite võib üldistada, sooritades üldisuskvantori sissetoomise. N10.6. Kui kasta lilli, siis nad ei närtsi. Teie lilled on närtsinud. See pole lõpuni ilmutatud süllogism, sest teie lilled pole sama mis lilled. Interpreteerime: L – lilli kastetakse; N – lilled närtsivad. Lillede kastmisvajadus tundub olevat lillede olemuslik omadus. See, mis juhtub kõikide lilledega mittekastmise korral, peaks juhtuma ka teie lilledega. Võib valida kaks korrektset lahendusteed. A) (Sellele vastab üldisuskvantori sissetoomine.) Üldistame teist eeldust: lilled on närtsinud. Kui kasta lilli, siis nad ei närtsi. L → ¬N Lilled on närtsinud. N(= ¬¬N) J: lilli pole kastetud. ∴ ¬L Valemina: L → ¬N, ¬(¬N) ╞ ¬L (MT) Kehtib
13 üldisuskvantori eemaldamise, ning üksikväite võib üldistada, sooritades üldisuskvantori sissetoomise. N10.6. Kui kasta lilli, siis nad ei närtsi. Teie lilled on närtsinud. See pole lõpuni ilmutatud süllogism, sest teie lilled pole sama mis lilled. Interpreteerime: L lilli kastetakse; N lilled närtsivad. Lillede kastmisvajadus tundub olevat lillede olemuslik omadus. See, mis juhtub kõikide lilledega mittekastmise korral, peaks juhtuma ka teie lilledega. Võib valida kaks korrektset lahendusteed. A) (Sellele vastab üldisuskvantori sissetoomine.) Üldistame teist eeldust: lilled on närtsinud. Kui kasta lilli, siis nad ei närtsi. L ¬N Lilled on närtsinud. N(= ¬¬N) J: lilli pole kastetud