järgmises peatükis „Süllogismid liitväidetega”. 2 2009: 454–461. 3 Siin nõutakse, et baashulk ei tohi olla tühi, baashulgas peab leiduma element, millega muutuja asendada. Kui teisiti pole öeldud, kasutatakse allpool baashulgana universaalhulka. 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
Kui teisiti pole öeldud, kasutatakse allpool baashulgana universaalhulka. 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
annaabi.ee 
