; UI) Kui Paul on tudeng, siis Paul õpib. 4. Op (3., 2.; MP) Paul õpib. Üldisuskvantori eemaldamise reegel võimaldab arutluses kasutada süllogisme juhtudel, kus üks eeldus on üldine ning teine eeldus puudutab konkreetset indiviidi. Seda ideed läheb vaja 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
4. Op (3., 2.; MP) Paul õpib. Üldisuskvantori eemaldamise reegel võimaldab arutluses kasutada süllogisme juhtudel, kus üks eeldus on üldine ning teine eeldus puudutab konkreetset indiviidi. Seda ideed läheb vaja järgmises peatükis ,,Süllogismid liitväidetega". 2 2009: 454461. 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.
annaabi.ee 
