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 Üldjaatuse reegli põhjal (ÜJ): süllogism töötab kõikide lillede korral, järelikult ka „teie lillede” korral. Seega teie lilli pole kastetud.
ü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
annaabi.ee 
