10 Üldisuskvantori lisamine (universal generalization, lühendatult UG) Üldisuskvantor tuuakse sisse koos muutujaga x, mille määramispiirkond on X. Üldisuskvantori saab valemisse p sisse tuua, kui see valem sisaldab suvalist indiviidikonstanti v, kusjuures see metasümbol võib esineda mitu korda ning asendada tuleb kõik esinemised. Üldisuskvantori sissetoomisel asendatakse suvaline konstant v, mille interpretatsioon võib olla määramispiirkonna X mis tahes element, indiviidimuutujaga x, tuletussammu märgitakse nii: p{x/v} ⊢ ∀x p (UG). Näiteülesandes N9.5 vaatlesime üldisuskvantori eemaldamist. Vajaduse korral saab pärast üldisuskvantori eemaldamist saadud vahetulemi üldisuskvantori sissetoomise teel taas üldväiteks muuta, vt N9.6. N9.6. Ükski inimene pole täiuslik. Kreeklased on inimesed. Seega pole ükski kreeklane täiuslik. Lahenduseks interpreteerime: Ix – x on inimene; Kx – x on kreeklane; Tx – x on täiuslik, c on indiviidikonstant. 1
Üldisuskvantori lisamine (universal generalization, lühendatult UG) Üldisuskvantor tuuakse sisse koos muutujaga x, mille määramispiirkond on X. Üldisuskvantori saab valemisse p sisse tuua, kui see valem sisaldab suvalist indiviidikonstanti v, kusjuures see metasümbol võib esineda mitu korda ning asendada tuleb kõik esinemised. Üldisuskvantori sissetoomisel asendatakse suvaline konstant v, mille interpretatsioon võib olla määramispiirkonna X mis tahes element, indiviidimuutujaga x, tuletussammu märgitakse nii: p{x/v} x p (UG). Näiteülesandes N9.5 vaatlesime üldisuskvantori eemaldamist. Vajaduse korral saab pärast üldisuskvantori eemaldamist saadud vahetulemi üldisuskvantori sissetoomise teel taas üldväiteks muuta, vt N9.6. N9.6. Ükski inimene pole täiuslik. Kreeklased on inimesed. Seega pole ükski kreeklane täiuslik. Lahenduseks interpreteerime: Ix x on inimene; Kx x on kreeklane; Tx x on täiuslik, c on indiviidikonstant. 1
annaabi.ee 
