selle tähendus langeb kokku lause „Juku õpib hoolega ja Jaan tegeleb rumalustega” tähendusega. Teine ja palju tõsisem küsimus on see, et sõnapaar kui … siis … võib väljendada vähemalt nelja tüüpi tingimuslauset. Neist kõigist tuleb pikemalt juttu teema all „Süllogismid liitväidetega”. Esimene väide tingimuslikus ehk tingivas lauses on alus ehk antetsedent (antecedent, ld antecedens) ja teine väide on tagajärg ehk konsekvent (consequent, ld consequens). Tavakeelsetes tingimuslausetes on alus ja tagajärg omavahel sisuliselt seotud, nt „Kui sa ei söö, siis sured sa nälga”. Lausearvutuses on kasutusel tingimuslause kõige väiksema tugevusega (nõudlikkusega) vorm, kus alus ja tagajärg ei pea omavahel sisuliselt seotud olema, nt „Kui ilm on ilus, siis on tõene, et 5 × 5 = 25”. Lausearvutuses kasutatavat implikatsiooni nimetatakse ka materiaalseks implikatsiooniks (material implication)
selle tähendus langeb kokku lause ,,Juku õpib hoolega ja Jaan tegeleb rumalustega" tähendusega. Teine ja palju tõsisem küsimus on see, et sõnapaar kui ... siis ... võib väljendada vähemalt nelja tüüpi tingimuslauset. Neist kõigist tuleb pikemalt juttu teema all ,,Süllogismid liitväidetega". Esimene väide tingimuslikus ehk tingivas lauses on alus ehk antetsedent (antecedent, ld antecedens) ja teine väide on tagajärg ehk konsekvent (consequent, ld consequens). Tavakeelsetes tingimuslausetes on alus ja tagajärg omavahel sisuliselt seotud, nt ,,Kui sa ei söö, siis sured sa nälga". Lausearvutuses on kasutusel tingimuslause kõige väiksema tugevusega (nõudlikkusega) vorm, kus alus ja tagajärg ei pea omavahel sisuliselt seotud olema, nt ,,Kui ilm on ilus, siis on tõene, et 5 × 5 = 25". Lausearvutuses kasutatavat implikatsiooni nimetatakse ka materiaalseks implikatsiooniks (material implication)
annaabi.ee 
