Nt Vana-Mesopotaamia ennustus: ,,Kui kollane koer siseneb paleesse, siis palee väravad hävivad”, on arutlusvorm, mis konkreetse koera, koha ja aja puhul muutub tingivaks lauseks. Vanimates koodeksites on seadused sõnastatud arutlusvormidena kujul ,,Kui A, siis B”. Nt ,,Kui keegi kaotab arsti süül käe, siis tuleb arstil käsi maha raiuda.” Konkreetse arsti ja konkreetse isiku käe korral saab arutlusvormist tingiva väite, mis esitab faktiväitena asjaolu (arstil tuleb käsi maha raiuda), mille teostamist seaduse looja antud juhul taotles. Mis juhtub juhul, kui A pole toimunud, see antud reegli alla ei kuulu. Allpool näeme, et tingivate lausete käsutamist järeldusskeemides saab siiski lausearvutuse abil formaliseerida. 1 Tingivaid väiteid siiski tõlgitakse materiaalseteks implikatsioonideks, sest nii on lihtsam, ja nagu allpool
tegemist arutlusvormidega, mida saab täita üksikjuhtumeid kirjeldavate tingivate väidetega. Nt Vana-Mesopotaamia ennustus: ,,Kui kollane koer siseneb paleesse, siis palee väravad hävivad", on arutlusvorm, mis konkreetse koera, koha ja aja puhul muutub tingivaks lauseks. Vanimates koodeksites on seadused sõnastatud arutlusvormidena kujul ,,Kui A, siis B". Nt ,,Kui keegi kaotab arsti süül käe, siis tuleb arstil käsi maha raiuda." Konkreetse arsti ja konkreetse isiku käe korral saab arutlusvormist tingiva väite, mis esitab faktiväitena asjaolu (arstil tuleb käsi maha raiuda), mille teostamist seaduse looja antud juhul taotles. Mis juhtub juhul, kui A pole toimunud, see antud reegli alla ei kuulu. Allpool näeme, et tingivate lausete käsutamist järeldusskeemides saab siiski lausearvutuse abil formaliseerida. 1 Tingivaid väiteid siiski tõlgitakse materiaalseteks implikatsioonideks, sest nii on lihtsam, ja nagu allpool
annaabi.ee 
