Suhteid väljendavaid väiteid võib kirjeldada binaarsete predikaatide, kvantorite ja indiviidimuutujate abil. Lausearvutuse tuletussüsteemis pole reegleid, mis võimaldaks teha tuletusi traditsioonilise loogika väidetele vastavate lausetega. Lausearvutuse tuletussüsteemi reeglid võimaldavad järeldusprotsessi kehtivuse (iga indiviidi jaoks eraldi) kindlaks teha vaid üksikväidete korral. Nt pole võimalik lausearvutuse tuletusreeglitega näidata, et järgnev järeldamine kehtib: Iga tudeng õpib. Paul on tudeng. Järelikult Paul õpib. Üks võimalus selliste järeldamiste kehtivuse näitamiseks ongi üldväite teisendamine üksikväiteks üldisuskvantori eemaldamise abil. Seejärel saab kasutada lausearvutuse tuletusreeglit, vt N9.5. N9.5. Iga tudeng õpib. Paul on tudeng. Järelikult Paul õpib. Lahenduseks fikseerime interpretatsiooni Tx – x on tudeng; Ox – x õpib; indiviidikonstant p – Paul
Suhteid väljendavaid väiteid võib kirjeldada binaarsete predikaatide, kvantorite ja indiviidimuutujate abil. Lausearvutuse tuletussüsteemis pole reegleid, mis võimaldaks teha tuletusi traditsioonilise loogika väidetele vastavate lausetega. Lausearvutuse tuletussüsteemi reeglid võimaldavad järeldusprotsessi kehtivuse (iga indiviidi jaoks eraldi) kindlaks teha vaid üksikväidete korral. Nt pole võimalik lausearvutuse tuletusreeglitega näidata, et järgnev järeldamine kehtib: Iga tudeng õpib. Paul on tudeng. Järelikult Paul õpib. Üks võimalus selliste järeldamiste kehtivuse näitamiseks ongi üldväite teisendamine üksikväiteks üldisuskvantori eemaldamise abil. Seejärel saab kasutada lausearvutuse tuletusreeglit, vt N9.5. N9.5. Iga tudeng õpib. Paul on tudeng. Järelikult Paul õpib. Lahenduseks fikseerime interpretatsiooni Tx x on tudeng; Ox x õpib; indiviidikonstant p Paul
annaabi.ee 
