seotud olema, nt „Kui ilm on ilus, siis on tõene, et 5 × 5 = 25”. Lausearvutuses kasutatavat implikatsiooni nimetatakse ka materiaalseks implikatsiooniks (material implication) põhjendusega, et sellise implikatsiooni tõesus sõltub vaid operandide tõeväärtustest. Lühemalt: lausearvutuses on kasutusel materiaalne implikatsioon, mis on alati tõene, välja arvatud siis, kui alus on tõene ja tagajärg on väär. 9 EKVIVALENTS (biconditiona, equivalence) Tõeväärtuste Boole’i algebras defineeritakse muutujate p ja q ekvivalents kui binaarne tehe, mille tulem on tõene parajasti siis, kui tema operandide tõeväärtused on ühesugused. Ekvivalentsi kui lausearvutuse tehte tulemi tõeväärtus on sellele tehtele vastava tõeväärtusfunktsiooniga määratud. Lausete p ja q ekvivalents on konkreetse kujuga lause, mille ehituse määrab see, et ta on just lausete p ja q ekvivalents. D7.3
Lausearvutuses kasutatavat implikatsiooni nimetatakse ka materiaalseks implikatsiooniks (material implication) põhjendusega, et sellise implikatsiooni tõesus sõltub vaid operandide tõeväärtustest. Lühemalt: lausearvutuses on kasutusel materiaalne implikatsioon, mis on alati tõene, välja arvatud siis, kui alus on tõene ja tagajärg on väär. 9 EKVIVALENTS (biconditiona, equivalence) Tõeväärtuste Boole'i algebras defineeritakse muutujate p ja q ekvivalents kui binaarne tehe, mille tulem on tõene parajasti siis, kui tema operandide tõeväärtused on ühesugused. Ekvivalentsi kui lausearvutuse tehte tulemi tõeväärtus on sellele tehtele vastava tõeväärtusfunktsiooniga määratud. Lausete p ja q ekvivalents on konkreetse kujuga lause, mille ehituse määrab see, et ta on just lausete p ja q ekvivalents. D7.3
annaabi.ee 
