lisaks lausearvutuse tuletusreeglitele vaja veel ka predikaatloogika tuletussüsteemi kuuluvaid tuletusreegleid, mis võimaldavad kvantoreid eemaldada ja lisada. Süllogistiliste arutluste 9 kehtivuse tõestamiseks ei lähe vaja teisi predikaatloogika tuletusreegleid. Allpool lülitame kvantorite eemaldamise ja lisamise reeglid meie juba olemasolevasse lausearvutuse tuletussüsteemi. Saame täiendatud tuletussüsteemi, mida kasutavad nt Copi ja Cohen2. See on süllogismide suhtes täielik. TIENDAVAD TULETUSREEGLID KVANTORITE SISSETOOMISEKS JA EEMALDAMISEKS Üldisuskvantori eemaldamine (universal instantiation, lühendatult UI) Üldisuskvantori eemaldamise all mõeldakse kvantori ja sellega vahetult seotud indiviidimuutuja eemaldamist. Indiviidimuutujale x rakendatud üldisuskvantori, st ∀x eemaldamisel valemist ∀x p(x) asendatakse muutuja x kõik vabanevad esinemised valemis
tuletusreegleid, mis võimaldavad kvantoreid eemaldada ja lisada. Süllogistiliste arutluste 9 kehtivuse tõestamiseks ei lähe vaja teisi predikaatloogika tuletusreegleid. Allpool lülitame kvantorite eemaldamise ja lisamise reeglid meie juba olemasolevasse lausearvutuse tuletussüsteemi. Saame täiendatud tuletussüsteemi, mida kasutavad nt Copi ja Cohen2. See on süllogismide suhtes täielik. TÄIENDAVAD TULETUSREEGLID KVANTORITE SISSETOOMISEKS JA EEMALDAMISEKS Üldisuskvantori eemaldamine (universal instantiation, lühendatult UI) Üldisuskvantori eemaldamise all mõeldakse kvantori ja sellega vahetult seotud indiviidimuutuja eemaldamist. Indiviidimuutujale x rakendatud üldisuskvantori, st x eemaldamisel valemist x p(x) asendatakse muutuja x kõik vabanevad esinemised valemis
annaabi.ee 
