sja tõestasime, et aluse eitus ja tagajärje jaatus on mittekehtivad arutlusskeemid sõltumata sellest, kas nende eeldusena esineb tingiv väide või materiaalne implikatsioon, Seega võib öelda, et tingiv-kategoorilistes süllogismides tingiva väite asendamine materiaalse implikatsiooniga ei muuda kehtivaid arutlusi kehtetuks ning kehtetuid arutlusi kehtivateks. Tingivate väidete kasutamine põhjustab raskesti hoomatavaid keeruakusi, materiaalsete implikatsioonide ja lausearvutuse kasutamisega on võimalik süllogismide kehtivust ja kehtetust näidata mitmel ja suhteliselt lihtsal viisil: tõesustabelid, tõesuspuud jt. Kuna süllogismide kehtivuse hindamisel pole vahet, kas kasutati tingivat väidet või materiaalset implikatsiooni, siis eelistatakse tänapäeval materiaalseid implikatsioone tingivatele väidetele. Siiski ei tohiks materiaalseid implikatsioone ja tingivaid väiteid samastada sel määral,
Äsja tõestasime, et aluse eitus ja tagajärje jaatus on mittekehtivad arutlusskeemid sõltumata sellest, kas nende eeldusena esineb tingiv väide või materiaalne implikatsioon, Seega võib öelda, et tingiv-kategoorilistes süllogismides tingiva väite asendamine materiaalse implikatsiooniga ei muuda kehtivaid arutlusi kehtetuks ning kehtetuid arutlusi kehtivateks. Tingivate väidete kasutamine põhjustab raskesti hoomatavaid keeruakusi, materiaalsete implikatsioonide ja lausearvutuse kasutamisega on võimalik süllogismide kehtivust ja kehtetust näidata mitmel ja suhteliselt lihtsal viisil: tõesustabelid, tõesuspuud jt. Kuna süllogismide kehtivuse hindamisel pole vahet, kas kasutati tingivat väidet või materiaalset implikatsiooni, siis eelistatakse tänapäeval materiaalseid implikatsioone tingivatele väidetele. Siiski ei tohiks materiaalseid implikatsioone ja tingivaid väiteid samastada sel määral,
annaabi.ee 
