Loogika aine ja ajalugu
2) A B
3) B C
Esimesest kahest saab järeldusreegli abil formaalselt tuletada väite B, ning B ja väide (3) annavad järeldusreegli abil
lõpuks väite C. Viimase tuletussammu formaalseks läbiviimiseks asendasime järeldusreeglis muutujad A ja B
muutujatega B ning C. Enamik loogikaharusid kasutab lausearvutuse keele rikastatud variante, mis lubavad kirja panna
märksa keerulisemaid väiteid, kui puhas lausearvutus võimaldab. Olulisem neist rikkamatest formaalsetest keeltest on
predikaatarvutuse keel, milles saab rääkida objektidest, nende omadustest ja omavahelistest suhetest.
Keerulisemad formaalsed keeled võimaldavad väljendada lisaks samasust, paratamatust, võimalikkust, teadmist ja aega,
suhtuda väidetesse kui objektidesse, kasutada vaikimisi-reegleid jne
annaabi.ee 
