” 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 näeme, jäävad arutlusskeemid ka materiaalsete implikatsioonide puhul enamasti kehtima. 2 Vihm tuleneb tõepoolest niiskuse suurenemisest, pääsukeste madalalt lendamine aga tuleneb sellest keerukamat teed mööda: veeaur põhjustab õhurõhu languse ning see putukate madalale laskumise ning see omakorda siis ka pääsukeste madalalt lendamise. Mõlemat arutlusahelat saab vaheastmete lisamisega pikendada. Siin on veel
" 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 näeme, jäävad arutlusskeemid ka materiaalsete implikatsioonide puhul enamasti kehtima. 2 Vihm tuleneb tõepoolest niiskuse suurenemisest, pääsukeste madalalt lendamine aga tuleneb sellest keerukamat teed mööda: veeaur põhjustab õhurõhu languse ning see putukate madalale laskumise ning see omakorda siis ka pääsukeste madalalt lendamise. Mõlemat arutlusahelat saab vaheastmete lisamisega pikendada. Siin on veel