paota suud”. Me ei tea, kas ta on tark, aga kui ta on tark, siis ta ei paota suud. Tõeväärtus ei sõltu sellest, kas Peeter on tark. Tingiva väite puhul pole aluse tõeväärtus tavaliselt teada ning see võib olla tõene sõltumatult aluse tõeväärtusest. Kui on siiski teada, et alus on tõene, on tõese tingiva väite puhul kindlasti tõene ka tagajärg. Järgnevalt aga selgub, et tingivate väidete formaalseks uurimiseks saab kasutada materiaalset implikatsiooni. Kehtivates arutlusskeemides võib hüpoteetilisi väiteid kirja panna materiaalse implikatsiooni valemi abil, sest materiaalne implikatsioon on niiviisi konstrueeritud, et järeldusskeemid, mis kehtivad tingiva väite korral, kehtivad ka materiaalse implikatsiooni korral. Sisuline erinevus materiaalse implikatsiooni ja tingiva väite vahel seisneb selles, et tingiv väide on materiaalne implikatsioon koos lisaeeldusega, et alus ja tagajärg on seotud mingil viisil, mis tagab tõese eelduse puhul tõese tagajärje
paota suud". Me ei tea, kas ta on tark, aga kui ta on tark, siis ta ei paota suud. Tõeväärtus ei sõltu sellest, kas Peeter on tark. Tingiva väite puhul pole aluse tõeväärtus tavaliselt teada ning see võib olla tõene sõltumatult aluse tõeväärtusest. Kui on siiski teada, et alus on tõene, on tõese tingiva väite puhul kindlasti tõene ka tagajärg. Järgnevalt aga selgub, et tingivate väidete formaalseks uurimiseks saab kasutada materiaalset implikatsiooni. Kehtivates arutlusskeemides võib hüpoteetilisi väiteid kirja panna materiaalse implikatsiooni valemi abil, sest materiaalne implikatsioon on niiviisi konstrueeritud, et järeldusskeemid, mis kehtivad tingiva väite korral, kehtivad ka materiaalse implikatsiooni korral. Sisuline erinevus materiaalse implikatsiooni ja tingiva väite vahel seisneb selles, et tingiv väide on materiaalne implikatsioon koos lisaeeldusega, et alus ja tagajärg on seotud mingil viisil, mis tagab tõese eelduse puhul tõese tagajärje
annaabi.ee 
