traditsioonilises loogikas esinevale atributiivse lihtväite tüübile: üldjaatav (A), üldeitav (E), osajaatav (I) ja osaeitav (O). Teisiti öeldes tuleb ülesannetes koostada lause loogiline mudel traditsioonilise loogika kontekstis. See tegevus ei ole formaalne ja paraku pole see ka üheselt teostatav. Lause loogilise mudeli põhjal tehtud järeldusi ei saa tingimusteta rakendada esialgsele lausele: mudeli põhjal tehtud järeldused võivad kalduda kõrvale järeldustest, mida saab teha originaallausest. Tüüpülesanne 4: viige väide traditsioonilisele kujule, määratlege väite tüüp, subjekt ja predikaat ning terminite mahtude piiritletus või piiritlematus. Tööjuhend: atributiivne lihtväide esineb traditsioonilises loogikas kujul kvantor-subjekt-koopula-predikaat. Leidke, millised lauseosad kirjeldavad subjekti (millest jutt) ning millised predikaati (mida subjekti kohta öeldakse). Kui subjekt esineb ilmutamata kujul, tuleb see määratleda konteksti abil
läheb soojaks, siis päike paistab”. Tekstide tõlkimine lausearvutuse keelde on palju keerulisem ja ebamäärasem protsess. Teksti analüüsimiseks lausearvutuse abil tuleb koostada teksti loogiline mudel: tekst tuleb väljendada valemite keeles. See tegevus ei ole formaalne ega üheselt teostatav. Teksti loogilise mudeli põhjal tehtud järeldusi ei saa tingimusteta rakendada esialgsele tekstile, mudeli põhjal tehtud järeldused võivad kalduda kõrvale järeldustest, mida saab teha originaallausest. Mõnikord on tarvis tekstist välja lugeda rohkem kui kirjas on, et püüda aru saada, mida tegelikult öelda taheti. Asja iva võib muidu kaotsi minna ja tõlgendus võib osutuda ebaadekvaatseks. Rohkem välja lugedes võime teksti paremini mõista, aga vaenuliku dialoogi tingimustes (nt kohtus) on seda raskem põhjendada. VIDETESÜSTEEM (LAUSETESÜSTEEM) Esineb olukordi, kus tuleb käsitleda mingit väidete hulka kui üht tervikut, nt tunnistaja antud
annaabi.ee 
