Me võime valida käsitlusviisi, mis võimaldab kui-siis-lauseid sisaldavaid süllogisme käsitleda vaid materiaalsete implikatsioonide abil, kasutades kõiki lausearvutuse formalismi võimalusi. Arutluse komponente tõlgendades võime lubada materiaalseid implikatsioone tõlgendada kahel viisil: kas lausearvutuse tehetena või tingivate lausetena. See tähendab, et me saame tingivaid lauseid järeldusprotsessi eeldustes või vahetulemites kirja panna materiaalsete implikatsioonidena, kasutada lausearvutuse formalismi, ning saadud implikatsiooni sisaldavat vahetulemit või lõppjäreldust võime tõlgendada ka tingiva väitena, juhul kui selleks on vajadus. Kokkuleppeline täpsustus, mis puudutab kõiki kui-siis-lauseid sisaldavaid arutlusskeeme ja kehtib üksnes selle loogika algkursuse raames, teistes allikates võivad olla teistsugused kokkulepped: • tingiv-kategoorilised laused tõlgitakse sümbolkujule, nii nagu need oleks materiaalsed implikatsioonid;
Me võime valida käsitlusviisi, mis võimaldab kui-siis-lauseid sisaldavaid süllogisme käsitleda vaid materiaalsete implikatsioonide abil, kasutades kõiki lausearvutuse formalismi võimalusi. Arutluse komponente tõlgendades võime lubada materiaalseid implikatsioone tõlgendada kahel viisil: kas lausearvutuse tehetena või tingivate lausetena. See tähendab, et me saame tingivaid lauseid järeldusprotsessi eeldustes või vahetulemites kirja panna materiaalsete implikatsioonidena, kasutada lausearvutuse formalismi, ning saadud implikatsiooni sisaldavat vahetulemit või lõppjäreldust võime tõlgendada ka tingiva väitena, juhul kui selleks on vajadus. Kokkuleppeline täpsustus, mis puudutab kõiki kui-siis-lauseid sisaldavaid arutlusskeeme ja kehtib üksnes selle loogika algkursuse raames, teistes allikates võivad olla teistsugused kokkulepped: · tingiv-kategoorilised laused tõlgitakse sümbolkujule, nii nagu need oleks materiaalsed implikatsioonid;
annaabi.ee 
